summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-20 10:03:42 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-09-20 10:03:42 +0200
commitfe20276ff74220a51bf8d30aa6190aa5ca6a957f (patch)
treea32cda017f5a85846c66178980fb3e6ca977744d /data/property/CNE_01400.pro
parent9d6c35b2e847e6e4864e550574ab08f2c9d20ee6 (diff)
Improves CNE_01400, adds test for CNE_01400.
Diffstat (limited to 'data/property/CNE_01400.pro')
-rw-r--r--data/property/CNE_01400.pro2
1 files changed, 1 insertions, 1 deletions
diff --git a/data/property/CNE_01400.pro b/data/property/CNE_01400.pro
index 412650e..8c072aa 100644
--- a/data/property/CNE_01400.pro
+++ b/data/property/CNE_01400.pro
@@ -3,6 +3,6 @@
(gc generic CNE_01400_BAD_NAME)
)
(not
- (string_matches [identifier gc] "g_.*")
+ (string_matches [identifier gc] "^g_.*")
)
)