Fixing python reference to include version number. This should fix problems with building from source.

2022-05-23 11:05:08 +02:00 · 2022-05-23 11:05:08 +02:00 · e12cedde74
commit e12cedde74
parent 0feaf905e3
1 changed files with 1 additions and 1 deletions
--- 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