diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-12 11:59:33 +0000 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2013-12-12 15:04:10 +0000 |
| commit | d39bb030f93cb9fda405875cd17204062b9b6074 (patch) | |
| tree | 1ccddacfc9a2297a58dde4c9fdf00bec29e780c3 /testsuite/tests/stranal/sigs | |
| parent | 0da1a84dde57549a3e2cd3c756d6b05670ca4f8f (diff) | |
| download | haskell-d39bb030f93cb9fda405875cd17204062b9b6074.tar.gz | |
Adjust output to new oneshotness
Diffstat (limited to 'testsuite/tests/stranal/sigs')
| -rw-r--r-- | testsuite/tests/stranal/sigs/UnsatFun.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/stranal/sigs/UnsatFun.stderr b/testsuite/tests/stranal/sigs/UnsatFun.stderr index 646a987e62..3d95c44d81 100644 --- a/testsuite/tests/stranal/sigs/UnsatFun.stderr +++ b/testsuite/tests/stranal/sigs/UnsatFun.stderr @@ -2,7 +2,7 @@ ==================== Strictness signatures ==================== UnsatFun.f: <B,1*U(U)><B,A>b UnsatFun.g: <B,1*U(U)>b -UnsatFun.g2: <L,U> +UnsatFun.g2: <L,1*U(U)> UnsatFun.h: <C(S),1*C1(U(U))> UnsatFun.h2: <S,1*U><L,1*C1(U(U))> |