Fix checker/values.ml in accordance with the change to Fix where we m…

…ade pfixpoint hold an array of optional ints instead of an array of ints. I'm surprised there haven't been mystery segfaults due to this oversight.
wilbowma · Aug 26, 2019 · 2dc350c · 2dc350c
1 parent 06c0923
commit 2dc350c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/checker/values.ml b/checker/values.ml
@@ -152,7 +152,7 @@ let rec v_constr =
 
 and v_prec = Tuple ("prec_declaration",
                     [|Array (v_binder_annot v_name); Array v_constr; Array v_constr|])
-and v_fix = Tuple ("pfixpoint", [|Tuple ("fix2",[|Array Int;Int|]);v_prec|])
+and v_fix = Tuple ("pfixpoint", [|Tuple ("fix2",[|Array (Opt Int);Int|]);v_prec|])
 and v_cofix = Tuple ("pcofixpoint",[|Int;v_prec|])
 
 let v_rdecl = v_sum "rel_declaration" 0