Sockeye: Rename 'int' type to 'nat'
[barrelfish] / tools / sockeye / SockeyeASTFrontend.hs
index 987e519..2035e51 100644 (file)
@@ -37,7 +37,7 @@ data ModuleParamType
     deriving (Eq)
 
 instance Show ModuleParamType where
-    show NumberParam = "int"
+    show NumberParam = "nat"
     show AddressParam = "addr"
 
 data ModuleBody = ModuleBody