diff options
| -rw-r--r-- | test-suite/output/NumbersSyntax.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/output/NumbersSyntax.out b/test-suite/output/NumbersSyntax.out index ae0cba600c..2e72e6c05b 100644 --- a/test-suite/output/NumbersSyntax.out +++ b/test-suite/output/NumbersSyntax.out @@ -25,7 +25,7 @@ I31 = 37151199385380486 : BigN.t_ = 1267650600228229401496703205376 - : bigN + : bigN.t_ 2 : BigZ.t_ -1000000000000000000 |