summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-18 15:18:05 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-18 15:18:05 +0200
commit59d6ea1df12aa2fadcab1ec5cd22b99873721869 (patch)
treea75f2a4edc3eb419585cff809025289ea8f5295e /data/property/impossible_processes.pp
parent80e9830758781e46a283e493a3c2f902969c0bea (diff)
Moves the templates to accommodate the tests.
Diffstat (limited to 'data/property/impossible_processes.pp')
-rw-r--r--data/property/impossible_processes.pp2
1 files changed, 0 insertions, 2 deletions
diff --git a/data/property/impossible_processes.pp b/data/property/impossible_processes.pp
deleted file mode 100644
index a13e0e5..0000000
--- a/data/property/impossible_processes.pp
+++ /dev/null
@@ -1,2 +0,0 @@
-The process $ps.LABEL$ (from file $ps.FILE$, line $ps.LINE$, column
-$ps.COLUMN$) does not write anything and is thus unlikely to have any effect.