aboutsummaryrefslogtreecommitdiff
path: root/backend
diff options
context:
space:
mode:
authorjohnvg2007-01-10 15:36:32 +0000
committerjohnvg2007-01-10 15:36:32 +0000
commit4aefb5c998decc2099a73ff0f302901b553080c3 (patch)
tree2ae6c3453ecfb40e5b97a6a0b9db54ab5355bf25 /backend
parentadd passing Reals using foreign export (diff)
remove //1.3 //3.1
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1635 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
-rw-r--r--backend/backend.dcl4
-rw-r--r--backend/backend.icl4
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;