From 84d1f8e81f1c471e44a83d7fa299948d17dba09c Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 9 May 2001 13:07:31 +0000
Subject: removed docommand modules

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@416 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/docommand.dcl | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 backendC/CleanCompilerSources/docommand.dcl

(limited to 'backendC/CleanCompilerSources/docommand.dcl')

diff --git a/backendC/CleanCompilerSources/docommand.dcl b/backendC/CleanCompilerSources/docommand.dcl
deleted file mode 100644
index 9eca72d..0000000
--- a/backendC/CleanCompilerSources/docommand.dcl
+++ /dev/null
@@ -1,6 +0,0 @@
-definition module docommand;
-
-from StdString import String;
-
-:: *DoCommandEnvironment :== Int;
-DoCommandNullTerminated :: !String !DoCommandEnvironment -> (!Int,!DoCommandEnvironment);
-- 
cgit v1.2.3