diff options
Diffstat (limited to 'CLPM/Util.icl')
| -rw-r--r-- | CLPM/Util.icl | 2 |
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" } |