From 233a8cfc94d8d986c485a08fd985903b01a71f75 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
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.5