diff --git a/dec2.ml b/dec2.ml
index 00baf2e..8d5445e 100644
--- a/dec2.ml
+++ b/dec2.ml
@@ -17,7 +17,6 @@
     (*difference is 4.*)
     (*The third row's difference is 6.*)
 
-open Core
 open Batteries
 
 let open_file (filename : string) =
@@ -43,4 +42,4 @@ let () =
     "dec2_input"
     |> open_file
     |> parse_input
-    |> printf "%d"
+    |> print_int