diff options
| -rw-r--r-- | examples/nqueens/NQueensAscii.gf | 2 | ||||
| -rw-r--r-- | 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 +} |