From 6e92668cb79ddda917ead0f8cb8646d7b6793d2a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 8 Nov 2004 09:27:30 +0000
Subject: [PATCH] update doc

---
 examples/gfcc/complin.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/gfcc/complin.tex b/examples/gfcc/complin.tex
index 625ceed6e..f2803a6fe 100644
--- a/examples/gfcc/complin.tex
+++ b/examples/gfcc/complin.tex
@@ -1151,8 +1151,8 @@ abstract Imper = PredefAbs ** {
 
     Decl    : (A : Typ) -> (Var A -> Stm) -> Stm ;
     Assign  : (A : Typ) -> Var A -> Exp A -> Stm -> Stm ;
-    While   : Exp TInt -> Stm -> Stm -> Stm ;
-    IfElse  : Exp TInt -> Stm -> Stm -> Stm -> Stm ;
+    While   : Exp (TNum TInt) -> Stm -> Stm -> Stm ;
+    IfElse  : Exp (TNum TInt) -> Stm -> Stm -> Stm -> Stm ;
     Block   : Stm -> Stm -> Stm ;
     Printf  : (A : Typ) -> Exp A -> Stm -> Stm ;
     Return  : (A : Typ) -> Exp A -> Stm ;