diff options
Diffstat (limited to 'testsuite/runtime/linearize/linearize.gfs.gold')
| -rw-r--r-- | testsuite/runtime/linearize/linearize.gfs.gold | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/runtime/linearize/linearize.gfs.gold b/testsuite/runtime/linearize/linearize.gfs.gold new file mode 100644 index 000000000..22477a5ba --- /dev/null +++ b/testsuite/runtime/linearize/linearize.gfs.gold @@ -0,0 +1,3 @@ +exists x such that x is even
+
+
|