From f09ce60d45d5524e36d07e76814b6e0cbc554288 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Mon, 28 May 2012 21:50:12 +1000
Subject: Fix issues with some things ignoring strategies.

---
 impl/systems/.long-fixpoint.swp | Bin 188416 -> 0 bytes
 impl/systems/long-fixpoint      |   1 -
 2 files changed, 1 deletion(-)
 delete mode 100644 impl/systems/.long-fixpoint.swp

(limited to 'impl/systems')

diff --git a/impl/systems/.long-fixpoint.swp b/impl/systems/.long-fixpoint.swp
deleted file mode 100644
index 726d6ce..0000000
Binary files a/impl/systems/.long-fixpoint.swp and /dev/null differ
diff --git a/impl/systems/long-fixpoint b/impl/systems/long-fixpoint
index f56b700..5838910 100644
--- a/impl/systems/long-fixpoint
+++ b/impl/systems/long-fixpoint
@@ -98,7 +98,6 @@ x96 = x95
 x97 = x96
 x98 = x97
 x99 = x98
-<<<<<<< HEAD
 x100 = x99
 x101 = x100
 x102 = x101
-- 
cgit v1.2.3