diff options
Diffstat (limited to 'parsing/termast.ml')
| -rw-r--r-- | parsing/termast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/termast.ml b/parsing/termast.ml index fb9852f3b..f7affb5b1 100644 --- a/parsing/termast.ml +++ b/parsing/termast.ml @@ -278,7 +278,7 @@ and ast_of_eqn (_,ids,pl,c) = ope("EQN", (ast_of_raw c)::(List.map ast_of_cases_pattern pl)) and ast_of_rawopt = function - | None -> (str "SYNTH") + | None -> (string "SYNTH") | Some p -> ast_of_raw p and factorize_binder n oper na aty c = @@ -399,7 +399,7 @@ let rec ast_of_pattern env = function | PCoFix c -> ast_of_raw (Detyping.detype [] env (mkCoFix c)) and ast_of_patopt env = function - | None -> (str "SYNTH") + | None -> (string "SYNTH") | Some p -> ast_of_pattern env p and factorize_binder_pattern env n oper na aty c = |