Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / tests2.5.expect

diff --git a/test/tests2.5.expect b/test/tests2.5.expect
index c0ef24c9b7a017c2262e626dad85ddc5bd7cb218..0217256a9c91fec10e69c069cd7fbe7f600fd5d2 100644 (file)
--- a/test/tests2.5.expect
+++ b/test/tests2.5.expect
@@ -42,7 +42,7 @@ immutable.c: (in function immutable_create)
 immutable.c:7:6: Arrow access from possibly null pointer res: res->x
    immutable.c:5:19: Storage res may become null
 immutable.c:8:10: Fresh storage returned as unqualified (should be only): res
-   immutable.c:5:54: Fresh storage res allocated
+   immutable.c:5:54: Fresh storage res created
 
 Finished checking --- 2 code warnings, as expected