diff options
Diffstat (limited to 'translate')
| -rw-r--r-- | translate/ppconstrnew.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml index a03207f254..5dd8e31c8d 100644 --- a/translate/ppconstrnew.ml +++ b/translate/ppconstrnew.ml @@ -43,7 +43,7 @@ let lcast = 100 let lapp = 10 let lproj = 9 let ltop = (200,E) -let lsimple = (0,E) +let lsimple = (9,E) let prec_less child (parent,assoc) = if parent < 0 && child = lprod then true @@ -477,7 +477,10 @@ let rec pr inherited a = str "end"), latom | CHole _ -> str "_", latom +(* | CEvar (_,n) -> str "?" ++ int n, latom +*) + | CEvar (_,n) -> str (Evd.string_of_existential n), latom | CPatVar (_,(_,p)) -> str "?" ++ pr_patvar p, latom | CSort (_,s) -> pr_sort s, latom | CCast (_,a,b) -> |