remove the ResBul.comma and use Prelude.bindComma

This commit is contained in:
Krasimir Angelov
2018-07-02 11:55:13 +02:00
parent d7f9d9e828
commit 6eaee8e4c1
8 changed files with 12 additions and 13 deletions
+1 -1
View File
@@ -53,6 +53,6 @@ lin
MkSymb s = s ;
BaseSymb = infixSS "è" ;
ConsSymb = infixSS comma ;
ConsSymb = infixSS bindComma ;
}