Commit 28eaeac1 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-05-17 08:06:19 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-17 08:06:19+00:00
parent 3dfa615d
......@@ -865,7 +865,7 @@ module Simplify(X : Custom.T) = struct
end
)
let mk_f = let id = ref 0 and tbl = W.create 163878 in
let mk_f = let id = ref 0 and tbl = W.create 16387 in
fun pos neg subs ->
(* assert (V.length pos + V.length neg + F.cardinal subs >= 2);
assert (V.disjoint pos neg); *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment