aboutsummaryrefslogtreecommitdiff
path: root/backend/backend.icl
diff options
context:
space:
mode:
authorronny2001-10-04 11:48:43 +0000
committerronny2001-10-04 11:48:43 +0000
commit7606ce4e35327b6a5508113f7f711078864100b2 (patch)
treecd85f233f2d6b16d43a58705a0c3346a251d9aaf /backend/backend.icl
parentremoved unused function makeCase (diff)
fail explicit cases
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@827 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.icl')
-rw-r--r--backend/backend.icl4
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/backend.icl b/backend/backend.icl
index ef7e6ad..ac2c4b2 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -763,9 +763,9 @@ BEDynamicTempTypeSymbol a0 = code {
ccall BEDynamicTempTypeSymbol ":I:I"
};
// BESymbolP BEDynamicTempTypeSymbol ();
-kBEVersionCurrent:==0x02000213;
+kBEVersionCurrent:==0x02000214;
kBEVersionOldestDefinition:==0x02000213;
-kBEVersionOldestImplementation:==0x02000213;
+kBEVersionOldestImplementation:==0x02000214;
kBEDebug:==1;
kPredefinedModuleIndex:==1;
BENoAnnot:==0;