diff options
Diffstat (limited to 'src/smtlib2/smtlib2_genConstr.ml')
-rw-r--r-- | src/smtlib2/smtlib2_genConstr.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/smtlib2/smtlib2_genConstr.ml b/src/smtlib2/smtlib2_genConstr.ml index ea5a42a..b320d7a 100644 --- a/src/smtlib2/smtlib2_genConstr.ml +++ b/src/smtlib2/smtlib2_genConstr.ml @@ -20,7 +20,6 @@ open SmtForm open SmtMisc open CoqTerms - (* For debugging *) let pp_symbol s = @@ -213,9 +212,8 @@ let make_root ra rf t = and make_root t = match make_root_term t with - | Atom h -> Form.get rf (Fatom h) - | Form f -> f in - + | Atom h -> Form.get rf (Fatom h) + | Form f -> f in make_root t |