diff options
Diffstat (limited to 'testsuite/tests/stranal/sigs/HyperStrUse.stderr')
| -rw-r--r-- | testsuite/tests/stranal/sigs/HyperStrUse.stderr | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/testsuite/tests/stranal/sigs/HyperStrUse.stderr b/testsuite/tests/stranal/sigs/HyperStrUse.stderr index f04a2118fd..1a0ff337c1 100644 --- a/testsuite/tests/stranal/sigs/HyperStrUse.stderr +++ b/testsuite/tests/stranal/sigs/HyperStrUse.stderr @@ -1,6 +1,5 @@ ==================== Strictness signatures ==================== -HyperStrUse.$trModule: m HyperStrUse.f: <S(SL),1*U(1*U(U),A)><S,1*U>m |