diff options
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 3df7ac830a..646a987e62 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -1,9 +1,9 @@ ==================== Strictness signatures ==================== -UnsatFun.h: <C(S),1*C1(U(U))> -UnsatFun.h2: <S,1*U><L,1*C1(U(U))> UnsatFun.f: <B,1*U(U)><B,A>b -UnsatFun.g2: <L,U> UnsatFun.g: <B,1*U(U)>b +UnsatFun.g2: <L,U> +UnsatFun.h: <C(S),1*C1(U(U))> +UnsatFun.h2: <S,1*U><L,1*C1(U(U))> |