diff options
| author | johnvg | 2008-12-19 12:09:51 +0000 |
|---|---|---|
| committer | johnvg | 2008-12-19 12:09:51 +0000 |
| commit | 3b17192deb436be794610e125b3c48507d97e8a7 (patch) | |
| tree | 69406d4b4dc3521a597515e477002a52fa77e549 /backend/backend.dcl | |
| parent | remove NR_Of_Basic_Denots, BENrOfBasicDenots (diff) | |
remove BENrOfBasicDenots
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1712 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index 635b24b..cc5f0a6 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -314,7 +314,7 @@ BEIntDenot:==10; BEBoolDenot:==11; BECharDenot:==12; BERealDenot:==13; -BENrOfBasicDenots:==14; +BEIntegerDenot:==14; BEStringDenot:==15; BEFunType:==16; BEArrayType:==17; |