diff frontends/src/jp/base.py @ 1960:3e168cde7a7d

jp: fixed shebang python call
author Goffi <goffi@goffi.org>
date Sun, 19 Jun 2016 22:22:08 +0200
parents 01d56efd488b
children 227a4e617549
line wrap: on
line diff
--- a/frontends/src/jp/base.py	Sun Jun 19 22:22:04 2016 +0200
+++ b/frontends/src/jp/base.py	Sun Jun 19 22:22:08 2016 +0200
@@ -1,4 +1,4 @@
-#! /usr/bin/python
+#!/usr/bin/env python2
 # -*- coding: utf-8 -*-
 
 # jp: a SAT command line tool