From 2909530b22132fa02adbdff36d53c523771c6a10 Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Sat, 21 Sep 2019 13:35:08 -0700
Subject: [PATCH] Ignore pp.ligos in root

---
 .gitignore            |  1 +
 super-counter.pp.ligo | 65 -------------------------------------------
 2 files changed, 1 insertion(+), 65 deletions(-)
 delete mode 100644 super-counter.pp.ligo

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)