diff options
| -rw-r--r-- | checker/validate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/validate.ml b/checker/validate.ml index 6a1a26c31..3f9aabdfa 100644 --- a/checker/validate.ml +++ b/checker/validate.ml @@ -60,7 +60,7 @@ let val_dyn ctx o = let fail () = fail ctx o "expected a Dyn.t" in if not (Obj.is_block o) then fail () else if not (Obj.size o = 2) then fail () - else if not (Obj.tag (Obj.field o 0) = Obj.string_tag) then fail () + else if not (Obj.tag (Obj.field o 0) = Obj.int_tag) then fail () else () open Values |