2 files changed, 0 insertions, 8 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl
index 2c696be..635b24b 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -1,9 +1,5 @@
 definition module backend;
 
-//1.3
-from StdString import String;
-//3.1
-
 :: CPtr (:== Int);
 :: *UWorld :== Int;
 :: *BackEnd (:== CPtr);
diff --git a/backend/backend.icl b/backend/backend.icl
index 44653b0..fd99c88 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -1,9 +1,5 @@
 implementation module backend;
 
-//1.3
-from StdString import String;
-//3.1
-
 :: CPtr :== Int;
 :: *UWorld :== Int;
 :: *BackEnd :== CPtr;