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