From cf166e90068a76dfc1f513d5467ae21a039be2a6 Mon Sep 17 00:00:00 2001 From: Utz-Uwe Haus Date: Mon, 9 May 2011 13:28:23 +0200 Subject: [PATCH] fixes for package name confusion in swig-lispify Signed-off-by: Utz-Uwe Haus --- backends/minisat/minisat-cffi.i | 2 +- backends/precosat/precosat-cffi.i | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/backends/minisat/minisat-cffi.i b/backends/minisat/minisat-cffi.i index 14166d2..0f81e7d 100644 --- a/backends/minisat/minisat-cffi.i +++ b/backends/minisat/minisat-cffi.i @@ -19,7 +19,7 @@ (:export #:minisat-backend #:satisiablep #:solution #:add-clause #:numvars)) (cl:in-package :satwrap.minisat) (eval-when (:compile-toplevel :load-toplevel :execute) - (cl:defun swig-lispify (name flag cl:&optional (package (find-package :satwrap.minisat))) + (cl:defun swig-lispify (name flag cl:&optional (package cl:*package*)) (cl:labels ((helper (lst last rest cl:&aux (c (cl:car lst))) (cl:cond ((cl:null lst) diff --git a/backends/precosat/precosat-cffi.i b/backends/precosat/precosat-cffi.i index 5968978..44003bb 100644 --- a/backends/precosat/precosat-cffi.i +++ b/backends/precosat/precosat-cffi.i @@ -30,7 +30,7 @@ (cl:in-package :swig-macros) -(cl:defun swig-lispify (name flag cl:&optional (package (find-package :satwrap.precosat))) +(cl:defun swig-lispify (name flag cl:&optional (package cl:*package*)) (cl:labels ((helper (lst last rest cl:&aux (c (cl:car lst))) (cl:cond ((cl:null lst) -- 2.11.4.GIT