From fee40b47a73301584681520d79a3486dac0e9667 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 12 Jun 2008 13:11:18 +0000
Subject: [PATCH] treating Int as PredefAbs.Int in lookup

---
 resource/api/Constructors.gf | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resource/api/Constructors.gf b/resource/api/Constructors.gf
index ffc710166..8ede44d54 100644
--- a/resource/api/Constructors.gf
+++ b/resource/api/Constructors.gf
@@ -1083,6 +1083,8 @@ incomplete resource Constructors = open Grammar in {
       those_QuantPl : QuantPl = mkQuantPl that_Quant ; 
 
 
+      mkiNum : Int -> Num         -- 51
+                                         =    NumInt      ;
 
     mkNum = overload {
       mkNum : Numeral -> Num = NumNumeral ;