summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-17 11:50:28 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-17 11:50:28 +0200
commit5f460b60e558822bada88adeab83c06101930384 (patch)
treedbeaf2ff4780c0d17a2e47e1afa9966a65f6a033
parent0c7a5538eb3d4e6d28b354bdd059cff0cdefcad5 (diff)
"LINE" was in undercase, messing with the output.
-rw-r--r--data/property/incrementer.pp2
1 files changed, 1 insertions, 1 deletions
diff --git a/data/property/incrementer.pp b/data/property/incrementer.pp
index 5fe3e96..e4768d9 100644
--- a/data/property/incrementer.pp
+++ b/data/property/incrementer.pp
@@ -1,3 +1,3 @@
The waveform associated with $wf.IDENTIFIER$ (from file $wf.FILE$, line $wf.LINE$
column $wf.COLUMN$) is incremented by the process $ps.LABEL$ (from
-$ps.FILE$, line $ps.line$, column $ps.COLUMN$).
+$ps.FILE$, line $ps.LINE$, column $ps.COLUMN$).