From 303f644773969ff84d167e3361c6bb9f9545e8bf Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Tue, 16 Aug 2016 20:47:08 +0200
Subject: Removing dead unsafe debugging code in Constrintern.

---
 interp/constrintern.ml | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'interp/constrintern.ml')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index fb1baae0a..7c4688f9f 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -432,11 +432,6 @@ let intern_assumption intern lvar env nal bk ty =
      let env, b = intern_generalized_binder intern_type lvar env (List.hd nal) b b' t ty in
      env, b
 
-let obj_string x =
-  if Obj.is_block (Obj.repr x) then
-    "tag = " ^ string_of_int (Obj.tag (Obj.repr x))
-  else "int_val = " ^ string_of_int (Obj.magic x)
-
 let rec free_vars_of_pat il =
   function
   | CPatCstr (loc, c, l1, l2) ->
-- 
cgit v1.2.3