jp: forgotten shebang fixes

2016-04-19 20:09:02 +02:00 · 2016-04-19 20:09:02 +02:00 · bf45c1d91c
commit bf45c1d91c
parent 3198ae10d9
2 changed files with 2 additions and 2 deletions
--- a/frontends/src/jp/base.py
+++ b/frontends/src/jp/base.py
@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-

 # jp: a SAT command line tool
--- a/frontends/src/jp/jp
+++ b/frontends/src/jp/jp
@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-

 # jp: a SAT command line tool