From 085df4a0a01e5ed1ae507ea49eb9c8a8af4e2cbc Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 17 Sep 2017 17:52:31 +0100
Subject: [PATCH] removed temp file

---
 src/tactic/sls/.#sls_params.pyg | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/tactic/sls/.#sls_params.pyg

diff --git a/src/tactic/sls/.#sls_params.pyg b/src/tactic/sls/.#sls_params.pyg
deleted file mode 100644
index 50991f6f4..000000000
--- a/src/tactic/sls/.#sls_params.pyg
+++ /dev/null
@@ -1 +0,0 @@
-winte@WINTERMUTE.13536:1505663874
\ No newline at end of file