]> matita.cs.unibo.it Git - helm.git/commit
typo: ')' mismatch
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 13:59:16 +0000 (13:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 13:59:16 +0000 (13:59 +0000)
commit233a8cfc94d8d986c485a08fd985903b01a71f75
tree149e247b19323c22f01c5665bc5e29ffdd6bf0d9
parente6e4f76ce06af1f10366bcc094a4be0df3ae8caa
typo: ')' mismatch
helm/ocaml/cic_textual_parser/cicTextualParser.mly