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 18723bad40..cf15cb8120 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -6,7 +6,7 @@ UnsatFun.g: <SP(M)>b UnsatFun.g': <1P(U)> UnsatFun.g3: <A> UnsatFun.h: <SCS(U)> -UnsatFun.h2: <SU><1C1(U)> +UnsatFun.h2: <SU><1CS(U)> UnsatFun.h3: <SCS(A)> @@ -30,7 +30,7 @@ UnsatFun.g: <SP(M)>b UnsatFun.g': <1P(U)> UnsatFun.g3: <A> UnsatFun.h: <SCS(U)> -UnsatFun.h2: <SU><1C1(U)> +UnsatFun.h2: <SU><1CS(U)> UnsatFun.h3: <SCS(A)> |