diff options
Diffstat (limited to 'Test/absthm.art')
-rw-r--r-- | Test/absthm.art | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/absthm.art b/Test/absthm.art index 6fd12ba..359a4cd 100644 --- a/Test/absthm.art +++ b/Test/absthm.art @@ -1,8 +1,8 @@ "bool" "bool" -var varType -varTerm +var +#varTerm "bool" const "bool" |