diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/UnsatFun.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 691fe21c98..b3ccac6f6e 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -16,10 +16,10 @@ UnsatFun.$trModule: UnsatFun.f: b UnsatFun.g: UnsatFun.g': -UnsatFun.g3: m1 +UnsatFun.g3: 1 UnsatFun.h: UnsatFun.h2: -UnsatFun.h3: m1 +UnsatFun.h3: 1 |