undo some temporary changes

con-kitty · May 31, 2022 · 79243e9 · 79243e9
1 parent 8815aeb
commit 79243e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/multiple-c-functions/Main.hs b/examples/multiple-c-functions/Main.hs
@@ -8,4 +8,4 @@ import F (fCategorified)
 -- This generates /tmp/multiple_c_functions.c, which contains two
 -- C functions: `multiple_c_functions` (the main function), and `g`.
 main :: IO ()
-main = writeCFiles "." "multiple_c_functions" fCategorified
+main = writeCFiles "/tmp" "multiple_c_functions" fCategorified
diff --git a/examples/separate-categorification/G.hs b/examples/separate-categorification/G.hs
@@ -13,6 +13,6 @@ import Data.Int (Int32)
 import Data.Word (Word64)
 
 g :: C Int32 -> C Word64
-g x = if odd x then fromIntegral x + 5 else 43
+g x = if odd x then fromIntegral x + 5 else 42
 
 Categorify.separately 'g [t|C.Cat|] []