From 233a8cfc94d8d986c485a08fd985903b01a71f75 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sun, 5 Jan 2003 13:59:16 +0000 Subject: [PATCH] typo: ')' mismatch --- helm/ocaml/cic_textual_parser/cicTextualParser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_textual_parser/cicTextualParser.mly b/helm/ocaml/cic_textual_parser/cicTextualParser.mly index 9f045ed36..5887fc072 100644 --- a/helm/ocaml/cic_textual_parser/cicTextualParser.mly +++ b/helm/ocaml/cic_textual_parser/cicTextualParser.mly @@ -130,7 +130,7 @@ let module CTP0 = CicTextualParser0 in match interp id with None -> raise (UnknownIdentifier id) - | Some (CTP0.Uri (CTP0.IndTyUri (uri,tyno)) -> (uri,tyno) + | Some (CTP0.Uri (CTP0.IndTyUri (uri,tyno))) -> (uri,tyno) | Some _ -> raise InductiveTypeURIExpected ;; -- 2.39.2