diff options
Diffstat (limited to 'test/nil.art')
-rw-r--r-- | test/nil.art | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/nil.art b/test/nil.art index 607602c..9b021e8 100644 --- a/test/nil.art +++ b/test/nil.art @@ -1 +1 @@ -nil +nil
|
index : opentheory-transform | ||
Opentheory proof trace optimizer | Jed Barber |
summaryrefslogtreecommitdiff |
-rw-r--r-- | test/nil.art | 2 |
diff --git a/test/nil.art b/test/nil.art index 607602c..9b021e8 100644 --- a/test/nil.art +++ b/test/nil.art @@ -1 +1 @@ -nil +nil
|