Minor fix to ocamlinit

8d4ec847 · Pietro Abate · 2b579d64 · 8d4ec847
Commit 8d4ec847 authored Aug 25, 2014 by Pietro Abate
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.ocamlinit .ocamlinit +1 -1

No files found.
--- a/.ocamlinit
+++ b/.ocamlinit
@@ -28,7 +28,7 @@ let mk_pp = function

 let mk_prod l =
    List.fold_left (fun acc2 c ->
-      Tallying.CS.prod (mk_pp c) acc2
+      Tallying.CS.prod Var.Set.empty (mk_pp c) acc2
    ) Tallying.CS.sat l

 let mk_union l1 l2 =