From f461e7657cab9917c5b405427ddba3d56f197efb Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 8 May 2016 18:59:55 +0200
Subject: Removing dead code and unused opens.

---
 engine/geninterp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/geninterp.ml')

diff --git a/engine/geninterp.ml b/engine/geninterp.ml
index 45b0aa2316..cfca95d3e6 100644
--- a/engine/geninterp.ml
+++ b/engine/geninterp.ml
@@ -32,7 +32,7 @@ struct
   let repr = ValT.repr
   let create = ValT.create
 
-  let rec pr : type a. a typ -> Pp.std_ppcmds = fun t -> Pp.str (repr t)
+  let pr : type a. a typ -> Pp.std_ppcmds = fun t -> Pp.str (repr t)
 
   let typ_list = ValT.create "list"
   let typ_opt = ValT.create "option"
-- 
cgit v1.2.3