From b265297af5fadec1f93f82fb1c99698f1360b2f4 Mon Sep 17 00:00:00 2001
From: MHeinrichs <matthias_heinrichs@yahoo.com>
Date: Mon, 23 Jun 2014 19:31:28 +0200
Subject: [PATCH] trhs

---
 Logic/automake.err | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 Logic/automake.err

diff --git a/Logic/automake.err b/Logic/automake.err
deleted file mode 100644
index f964a6e..0000000
--- a/Logic/automake.err
+++ /dev/null
@@ -1 +0,0 @@
-Need not generate svf file according to the constraints, exit