From 354838807fb633e241dc47dbd70b05ebf19d043e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 13 Oct 2010 13:47:22 +0000
Subject: [PATCH] use "-" and ";" instead of "_" and "\n" in NQueens

---
 examples/nqueens/NQueensAscii.gf | 2 +-
 examples/nqueens/NatAscii.gf     | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/examples/nqueens/NQueensAscii.gf b/examples/nqueens/NQueensAscii.gf
index fabcd3c64..261d28f7a 100644
--- a/examples/nqueens/NQueensAscii.gf
+++ b/examples/nqueens/NQueensAscii.gf
@@ -4,7 +4,7 @@ lincat Matrix, Vec = Str ;
        ListNat, Sat = {} ;
 
 lin nilV _ _ = "" ;
-    consV _ j k _ _ v = j ++ "X" ++ k ++ "\n" ++ v ;
+    consV _ j k _ _ v = j ++ "X" ++ k ++ ";" ++ v ;
 
     matrix _ v = v ;
 
diff --git a/examples/nqueens/NatAscii.gf b/examples/nqueens/NatAscii.gf
index 86ffa923f..bca73b48d 100644
--- a/examples/nqueens/NatAscii.gf
+++ b/examples/nqueens/NatAscii.gf
@@ -3,8 +3,8 @@ concrete NatAscii of Nat = {
 lincat Nat = Str ;
 
 lin zero   = "" ;
-    succ n = "_" ++ n ;
+    succ n = "-" ++ n ;
 
 lincat NE = {} ;
 
-}
\ No newline at end of file
+}