From 3467a719bb9b84a840876cce5e575b9ec8660ea6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 10 Dec 2015 18:25:35 +0100
Subject: [PATCH] python: kill some Swig warnings

* wrap/python/spot_impl.i: Get rid of some warnings about missing
typecheck for spot::formula.
---
 wrap/python/spot_impl.i | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/wrap/python/spot_impl.i b/wrap/python/spot_impl.i
index 262434518..1ea939087 100644
--- a/wrap/python/spot_impl.i
+++ b/wrap/python/spot_impl.i
@@ -199,6 +199,11 @@ using namespace spot;
     // if tmp == nullptr, then the default value of $1 is fine.
 }
 
+%typemap(typecheck) spot::formula {
+    $1 = SWIG_CheckState(SWIG_ConvertPtr($input, nullptr,
+					 $descriptor(spot::formula*), 0));
+}
+
 %typemap(out) spot::formula {
   if (!$1)
     $result = SWIG_Py_Void();
-- 
GitLab