From 05c87ba330a9b4d02b150c196e390b9dd30be341 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Thu, 31 Oct 2013 11:56:30 +0100
Subject: Fix interface for template polymorphism, cleaning up code in all
 typing algorithms.

---
 library/global.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/global.ml')

diff --git a/library/global.ml b/library/global.ml
index fbba81b51..812178bbb 100644
--- a/library/global.ml
+++ b/library/global.ml
@@ -192,7 +192,7 @@ let type_of_global_in_context env r =
        Inductive.type_of_constructor (cstr,inst) specif, univs
 
 let is_polymorphic r = 
-  let env = env() in
+  let env = env() in 
   match r with
   | VarRef id -> false
   | ConstRef c -> 
-- 
cgit v1.2.3