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 | |
| 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')
| -rw-r--r-- | backend/backend.dcl | 2 | ||||
| -rw-r--r-- | backend/backend.icl | 2 |
2 files changed, 2 insertions, 2 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; diff --git a/backend/backend.icl b/backend/backend.icl index fd99c88..e0bb73f 100644 --- a/backend/backend.icl +++ b/backend/backend.icl @@ -823,7 +823,7 @@ BEIntDenot:==10; BEBoolDenot:==11; BECharDenot:==12; BERealDenot:==13; -BENrOfBasicDenots:==14; +BEIntegerDenot:==14; BEStringDenot:==15; BEFunType:==16; BEArrayType:==17; |