| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/CNE_01400.pp')
| -rw-r--r-- | data/property/cnes/CNE_01400.pp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/data/property/cnes/CNE_01400.pp b/data/property/cnes/CNE_01400.pp deleted file mode 100644 index 6050265..0000000 --- a/data/property/cnes/CNE_01400.pp +++ /dev/null @@ -1,3 +0,0 @@ -The name of the generic port $gc.IDENTIFIER$ (declared in $gc.FILE$, -line $gc.LINE$, column $gc.COLUMN$) is not prefixed by "g_", despite CNE_01400 -requiring it to be. |