| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/cnes/CNE_01700.pp')
| -rw-r--r-- | data/property/cnes/CNE_01700.pp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/data/property/cnes/CNE_01700.pp b/data/property/cnes/CNE_01700.pp deleted file mode 100644 index 8a32e7d..0000000 --- a/data/property/cnes/CNE_01700.pp +++ /dev/null @@ -1,3 +0,0 @@ -The signal $x_re.IDENTIFIER$ (declared in $x_re.FILE$, line $x_re.LINE$, column -$x_re.COLUMN$) is made to indicate the rising edge of another signal. CNE_01700 -indicates such signals should have names ending in "_re". |