From 969f56084f2c9eac670e47852518a3ca11fb0174 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 21 Feb 2014 15:11:30 +0100
Subject: fix checker w.r.t. Dyn.t validation

discrepancy introduced in commit 400327165edcba667ebb70ebb89052455656b719
---
 checker/validate.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker')

diff --git a/checker/validate.ml b/checker/validate.ml
index 6a1a26c317..3f9aabdfa9 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
-- 
cgit v1.2.3