diff options
Diffstat (limited to 'checker/check.ml')
| -rw-r--r-- | checker/check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/check.ml b/checker/check.ml index 0f427e457a..4ac5c56732 100644 --- a/checker/check.ml +++ b/checker/check.ml @@ -305,8 +305,8 @@ let marshal_in_segment ~validate ~value f ch = with _ -> user_err (str "Corrupted file " ++ quote (str f)) in + let () = Validate.validate ~debug:!Flags.debug value v in let v = Analyze.instantiate v in - let () = Validate.validate !Flags.debug value v in Obj.obj v, stop, digest else System.marshal_in_segment f ch |