1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/klee-control b/scripts/klee-control
index 2f111524..0a918b42 100755
--- a/scripts/klee-control
+++ b/scripts/klee-control
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- klee-control ------------------------------------------------------===##
 #