diff options
| author | Pierre-Marie Pédrot | 2020-01-12 14:46:36 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-01-16 20:39:31 +0100 |
| commit | 25e50a61ca7a8f6698a1579ee262a9e57395e479 (patch) | |
| tree | 951655643c9b3161d91b5784b9c7825f2aad23aa /checker/check.ml | |
| parent | 87fadda896162e3d314ecfcde2b90609927c5064 (diff) | |
Checker validation acts on object representations rather than objects.
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 |