Merge pull request #382 from pysmt/i380/absolute_import

CVC4: Force absolute import of CVC4
pysmt · Oct 31, 2016 · ea9291b · ea9291b
2 parents 4e8f7fb + e69ca19
commit ea9291b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/pysmt/cmd/installers/cvc4.py b/pysmt/cmd/installers/cvc4.py
@@ -11,6 +11,8 @@
 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 # See the License for the specific language governing permissions and
 # limitations under the License.
+from __future__ import absolute_import
+
 import os
 import sys
 

diff --git a/pysmt/solvers/cvc4.py b/pysmt/solvers/cvc4.py
@@ -15,6 +15,8 @@
 #   See the License for the specific language governing permissions and
 #   limitations under the License.
 #
+from __future__ import absolute_import
+
 from six.moves import xrange
 
 from pysmt.exceptions import SolverAPINotFound