diff options
Diffstat (limited to 'examples/nqueens/NatAscii.gf')
| -rw-r--r-- | examples/nqueens/NatAscii.gf | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/examples/nqueens/NatAscii.gf b/examples/nqueens/NatAscii.gf index 5c0892d66..86ffa923f 100644 --- a/examples/nqueens/NatAscii.gf +++ b/examples/nqueens/NatAscii.gf @@ -5,10 +5,6 @@ lincat Nat = Str ; lin zero = "" ; succ n = "_" ++ n ; -lincat LT = Str ; - NE = {} ; - -lin zLT n = n ; - sLT _ _ l = l ; +lincat NE = {} ; }
\ No newline at end of file |