From bf4bd3e07bd0c10a39c3e2324b0eb416d504f6fc Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 24 Feb 2020 23:15:18 +0100
Subject: [PATCH] Forcing Python2 if called directly.

---
 gui/scyther-gui.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui/scyther-gui.py b/gui/scyther-gui.py
index 2108baf..2c36c03 100755
--- a/gui/scyther-gui.py
+++ b/gui/scyther-gui.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2
 """
 	Scyther : An automatic verifier for security protocols.
 	Copyright (C) 2007-2013 Cas Cremers