From ff5ddf447fa6eea6367e98e7af46736334ef3470 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 20 Jun 2008 16:08:22 +0000
Subject: [PATCH] added some words to complete resource test

---
 examples-3.0/tutorial/semantics/Base.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples-3.0/tutorial/semantics/Base.gf b/examples-3.0/tutorial/semantics/Base.gf
index 4586c3106..85868d7ac 100644
--- a/examples-3.0/tutorial/semantics/Base.gf
+++ b/examples-3.0/tutorial/semantics/Base.gf
@@ -30,7 +30,7 @@ fun
 
 -- lexicon
 
-  UseInt  : Int -> PN ;
+  UseInt : Int -> PN ;
 
   Number : CN ;
   Even, Odd, Prime : AP ;