X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/clg/blobdiff_plain/03c0a828b7bd8021bf8f03a79ee70e3811a98309..8741fc3a02449de054b15589904bcfc2c30b6217:/gffi/proxy.lisp

diff --git a/gffi/proxy.lisp b/gffi/proxy.lisp
index d67ee96..6586891 100644
--- a/gffi/proxy.lisp
+++ b/gffi/proxy.lisp
@@ -20,7 +20,7 @@
 ;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 ;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
-;; $Id: proxy.lisp,v 1.7 2007-04-06 14:29:42 espen Exp $
+;; $Id: proxy.lisp,v 1.8 2007-05-10 20:23:28 espen Exp $
 
 (in-package "GFFI")
 
@@ -167,6 +167,7 @@ (defmethod instance-finalizer ((instance proxy))
 ;; :FINALZIE given to MAKE-PROXY-INSTANCE or non NIL if the proxy was
 ;; created with MAKE-INSTANCE
 (defmethod invalidate-instance ((instance proxy) &optional finalize-p)
+  #+clisp(declare (ignore finalize-p))
   (remove-cached-instance (foreign-location instance))
   #+(or sbcl cmu)
   (progn