diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 09:06:54 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-04 09:06:54 +0200 |
| commit | fdcbfc66bf98cb4c463de3cf5d8572afd4ab7dad (patch) | |
| tree | 56f00bee9c9d185439c61a9a9b6693e089fac9b3 /testdata | |
| parent | 4425f4c90361927a7a1b839e69b89d56d9b77e8a (diff) | |
bugfix: do not overnormalize
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/instantiate2.out | 2 | ||||
| -rw-r--r-- | testdata/primes.out | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testdata/instantiate2.out b/testdata/instantiate2.out index ba33068e..24bcda66 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), 3.0) \ No newline at end of file | (+ ('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 | ||
diff --git a/testdata/primes.out b/testdata/primes.out index b74e882a..88d050b1 100644 --- a/testdata/primes.out +++ b/testdata/primes.out | |||
| @@ -1 +1 @@ | |||
| 31 \ No newline at end of file | main \ No newline at end of file | ||