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();