jp: fixed shebang python call

2016-06-19 22:22:08 +02:00 · 2016-06-19 22:22:08 +02:00 · a9aa17f2d0
commit a9aa17f2d0
parent 6d67db84ea
1 changed files with 12 additions and 12 deletions
--- a/frontends/src/jp/cmd_param.py
+++ b/frontends/src/jp/cmd_param.py
@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-

 # jp: a SAT command line tool