From e12cedde74f98ffc6235cc82a3c4ecbe754919d3 Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Mon, 23 May 2022 11:05:08 +0200
Subject: [PATCH] Fixing python reference to include version number. This
 should fix problems with building from source.

---
 src/describe-version.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/describe-version.py b/src/describe-version.py
index 3073890..a903a55 100755
--- a/src/describe-version.py
+++ b/src/describe-version.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 """
   Scyther : An automatic verifier for security protocols.
   Copyright (C) 2007-2020 Cas Cremers