diff options
Diffstat (limited to 'main/Windows')
| -rw-r--r-- | main/Windows/set_return_code.dcl | 2 | ||||
| -rw-r--r-- | main/Windows/set_return_code.icl | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/main/Windows/set_return_code.dcl b/main/Windows/set_return_code.dcl index bcbde6f..e8ed7f8 100644 --- a/main/Windows/set_return_code.dcl +++ b/main/Windows/set_return_code.dcl @@ -1,6 +1,8 @@ definition module set_return_code; +//1.3 from StdString import String; +//3.1 :: *UniqueWorld :== World; set_return_code :: !Int !UniqueWorld -> UniqueWorld; diff --git a/main/Windows/set_return_code.icl b/main/Windows/set_return_code.icl index 780fa84..4171e6a 100644 --- a/main/Windows/set_return_code.icl +++ b/main/Windows/set_return_code.icl @@ -2,7 +2,7 @@ implementation module set_return_code; import code from "set_return_code.obj"; -from StdString import String; +import StdString; :: *UniqueWorld :== World; |