Revert "Sockeye: Generate decimal addresses"
[barrelfish] / tools / sockeye / SockeyeBackendProlog.hs
index c330c81..c6ffd0b 100644 (file)
@@ -76,7 +76,7 @@ instance PrologGenerator AST.NodeType where
     generate AST.Other  = atom "other"
 
 instance PrologGenerator AST.Address where
-    generate addr = show addr -- Use decimal integers, ECLiPSe treats hex integers as word length signed
+    generate addr = "16'" ++ showHex addr ""
 
 instance PrologGenerator a => PrologGenerator [a] where
     generate ast = let