diff --git a/.gitignore b/.gitignore
index bf25b5759..793d181d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ dune-project
 cache/*
 Version.ml
 /_opam/
+/*.pp.ligo
diff --git a/super-counter.pp.ligo b/super-counter.pp.ligo
deleted file mode 100644
index 0097fbc63..000000000
--- a/super-counter.pp.ligo
+++ /dev/null
@@ -1,65 +0,0 @@
-# 1 "./src/test/contracts/super-counter.ligo"
-# 1 "<built-in>"
-# 1 "<command-line>"
-# 31 "<command-line>"
-# 1 "/usr/include/stdc-predef.h" 1 3 4
-
-# 17 "/usr/include/stdc-predef.h" 3 4
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-# 32 "<command-line>" 2
-# 1 "./src/test/contracts/super-counter.ligo"
-type action is
-| Increment of int
-| Decrement of int
-
-function main (const p : action ; const s : int) : (list(operation) * int) is
-  block {skip} with ((nil : list(operation)),
-    case p of
-    | Increment (n) -> s + n
-    | Decrement (n) -> s - n
-    end)