temporary hack

frenetic-lang · Jul 14, 2016 · 49e19bf · 49e19bf
1 parent 2cc39ae
commit 49e19bf
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/Frenetic_Fdd.ml b/lib/Frenetic_Fdd.ml
@@ -137,10 +137,12 @@ module Field = struct
       | True -> ()
       | False -> ()
       | Test hv ->
-        if in_product then
+        (* SJS: temporary hack - needs fixing *)
+        if in_product then begin try
           let fld = of_hv hv in
           let n = Hashtbl.Poly.find_exn count_tbl fld in
           Hashtbl.Poly.set count_tbl ~key:fld ~data:(n + size)
+        with _ -> () end
       | Or (a, b) -> f_pred size false a; f_pred size false b
       | And (a, b) -> f_pred size true a; f_pred size true b
       | Neg a -> f_pred size in_product a in