diff --git a/tests/chez/constfold/Fold.idr b/tests/chez/constfold/Fold.idr
index 32e0c2bb4..602dbbc91 100644
--- a/tests/chez/constfold/Fold.idr
+++ b/tests/chez/constfold/Fold.idr
@@ -1,5 +1,8 @@
+import Data.Nat
+
 main : IO ()
 main = do
   printLn (the Bits8 0xff + 100)
   printLn (the Nat 12345)
   printLn (the Nat (-12345))
+  printLn (271 `minus` 12)