add missing forget_var's in printers

84e9bf4c · Andrei Paskevich · e7aa3e10 · 84e9bf4c · 84e9bf4c
Commit 84e9bf4c authored Jun 04, 2011 by Andrei Paskevich
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 2 deletions

src/printer/cvc3.ml src/printer/cvc3.ml +2 -1

src/printer/smt2.ml src/printer/smt2.ml +2 -1

No files found.
--- a/src/printer/cvc3.ml
+++ b/src/printer/cvc3.ml
@@ -258,7 +258,8 @@ let print_logic_decl info fmt (ls,ld) =
      (print_lsargs info) ls.ls_args
      (print_type_value info) ls.ls_value
      (print_var_list info) vsl
-      (print_expr info) expr
+      (print_expr info) expr;
+    List.iter forget_var vsl

 let print_logic_decl info fmt d =
  if Sid.mem (fst d).ls_name info.info_rem then

--- a/src/printer/smt2.ml
+++ b/src/printer/smt2.ml
@@ -261,7 +261,8 @@ let print_logic_decl info fmt (ls,ld) =
      print_ident ls.ls_name
      (print_var_list info) vsl
      (print_type_value info) ls.ls_value
-      (print_expr info) expr
+      (print_expr info) expr;
+    List.iter forget_var vsl

 let print_logic_decl info fmt d =
  if Sid.mem (fst d).ls_name info.info_rem then