diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:22:48 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 10:22:48 +0200 |
commit | 0dc09e81832aa1495ef9f213bf091f4a1620ab05 (patch) | |
tree | 059176dd57bbf586184794a67b32384790ada293 /testdata/instantiate2.out | |
parent | c4dc2ffc92a19e93ec4b3876364c12074681ecbf (diff) |
print reduced result in .out file
Diffstat (limited to 'testdata/instantiate2.out')
-rw-r--r-- | testdata/instantiate2.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/instantiate2.out b/testdata/instantiate2.out index 24bcda66..94306cec 100644 --- a/testdata/instantiate2.out +++ b/testdata/instantiate2.out | |||
@@ -1 +1 @@ | |||
(+ ('VecS 'Float 2) TT (V2 1.0 2.0) (V2 2.3 3.4), + 'Float TT 1.0 2.0) \ No newline at end of file | (PrimAdd ('VecS 'Float 2) TT (V2 1.0 2.0) (V2 2.3 3.4), 3.0) \ No newline at end of file | ||