From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 5 Jan 2003 13:59:16 +0000 (+0000)
Subject: typo: ')' mismatch
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=233a8cfc94d8d986c485a08fd985903b01a71f75;p=helm.git

typo: ')' mismatch
---

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
  ;;