summaryrefslogtreecommitdiff
path: root/testsuite/tests/numeric/should_compile/T14465.stdout
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/numeric/should_compile/T14465.stdout')
-rw-r--r--testsuite/tests/numeric/should_compile/T14465.stdout2
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/numeric/should_compile/T14465.stdout b/testsuite/tests/numeric/should_compile/T14465.stdout
index 936507532a..df97060635 100644
--- a/testsuite/tests/numeric/should_compile/T14465.stdout
+++ b/testsuite/tests/numeric/should_compile/T14465.stdout
@@ -98,7 +98,7 @@ plusOne :: Natural -> Natural
plusOne = \ (n :: Natural) -> plusNatural n M.minusOne1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
-one [InlPrag=NOUSERINLINE[2]] :: Natural
+one :: Natural
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,