aboutsummaryrefslogtreecommitdiff
path: root/CLPM/Util.icl
diff options
context:
space:
mode:
authorCamil Staps2017-02-08 17:17:59 +0100
committerCamil Staps2017-02-08 17:17:59 +0100
commitdde4f8bad104b44db97eab26d0be864d7cefe000 (patch)
treef561edc41399412cdc194241db0aa3d8aa833946 /CLPM/Util.icl
parentImproved installation (diff)
Propagate clm return code
Diffstat (limited to 'CLPM/Util.icl')
-rw-r--r--CLPM/Util.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/CLPM/Util.icl b/CLPM/Util.icl
index 282c580..cea514c 100644
--- a/CLPM/Util.icl
+++ b/CLPM/Util.icl
@@ -80,7 +80,7 @@ where
= (Error $ server_name + " hung up during transmission.", chan, w)
= receiveRest {resp & rsp_data=resp.rsp_data + toString (fromJust newresp)} chan w
-syscall :: !String !*World -> !*(!Int, !*World)
+syscall :: !String !*World -> *(!Int, !*World)
syscall cmd w = code {
ccall system "s:I:A"
}