1 files changed, 27 insertions, 27 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl
index 073b6dc..62759ac 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -6,31 +6,31 @@ from StdString import String;
 
 :: CPtr :== Int;
 :: *UWorld :== Int;
-:: *BackEnd;
-:: BESymbolP;
-:: BETypeNodeP;
-:: BETypeArgP;
-:: BETypeAltP;
-:: BENodeP;
-:: BEArgP;
-:: BERuleAltP;
-:: BEImpRuleP;
-:: BETypeP;
-:: BEFlatTypeP;
-:: BETypeVarP;
-:: BETypeVarListP;
-:: BEConstructorListP;
-:: BEFieldListP;
-:: BENodeIdP;
-:: BENodeDefP;
-:: BEStrictNodeIdP;
-:: BECodeParameterP;
-:: BECodeBlockP;
-:: BEStringListP;
-:: BENodeIdListP;
-:: BENodeIdRefCountListP;
-:: BEUniVarEquations;
-:: BEAttributeKindList;
+:: *BackEnd :== Int;
+:: BESymbolP :== CPtr;
+:: BETypeNodeP :== CPtr;
+:: BETypeArgP :== CPtr;
+:: BETypeAltP :== CPtr;
+:: BENodeP :== CPtr;
+:: BEArgP :== CPtr;
+:: BERuleAltP :== CPtr;
+:: BEImpRuleP :== CPtr;
+:: BETypeP :== CPtr;
+:: BEFlatTypeP :== CPtr;
+:: BETypeVarP :== CPtr;
+:: BETypeVarListP :== CPtr;
+:: BEConstructorListP :== CPtr;
+:: BEFieldListP :== CPtr;
+:: BENodeIdP :== CPtr;
+:: BENodeDefP :== CPtr;
+:: BEStrictNodeIdP :== CPtr;
+:: BECodeParameterP :== CPtr;
+:: BECodeBlockP :== CPtr;
+:: BEStringListP :== CPtr;
+:: BENodeIdListP :== CPtr;
+:: BENodeIdRefCountListP :== CPtr;
+:: BEUniVarEquations :== CPtr;
+:: BEAttributeKindList :== CPtr;
 :: BEAnnotation :== Int;
 :: BEAttribution :== Int;
 :: BESymbKind :== Int;
@@ -290,9 +290,9 @@ BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd;
 // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex);
 BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd);
 // BESymbolP BEDynamicTempTypeSymbol ();
-kBEVersionCurrent:==0x02000800;
+kBEVersionCurrent:==0x02010801;
 kBEVersionOldestDefinition:==0x02000213;
-kBEVersionOldestImplementation:==0x02000216;
+kBEVersionOldestImplementation:==0x02010801;
 kBEDebug:==1;
 kPredefinedModuleIndex:==1;
 BENoAnnot:==0;