aboutsummaryrefslogtreecommitdiff
path: root/backendC
diff options
context:
space:
mode:
Diffstat (limited to 'backendC')
-rw-r--r--backendC/CleanCompilerSources/backend.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/backend.c b/backendC/CleanCompilerSources/backend.c
index 63b0da5..edeef7e 100644
--- a/backendC/CleanCompilerSources/backend.c
+++ b/backendC/CleanCompilerSources/backend.c
@@ -3554,7 +3554,6 @@ CheckBEEnumTypes (void)
Assert (bool_denot == BEBoolDenot);
Assert (char_denot == BECharDenot);
Assert (real_denot == BERealDenot);
- Assert (Nr_Of_Basic_Denots == BENrOfBasicDenots);
Assert (string_denot == BEStringDenot);
Assert (fun_type == BEFunType);
Assert (array_type == BEArrayType);