From f6e6099d9b2c413d2a7a25f9f9af644c69e3b6a5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 29 Mar 2017 11:56:37 +0200
Subject: [PATCH] python: mark prop_deterministic as deprecated

Related to #212.

* python/spot/impl.i: Here.
---
 python/spot/impl.i | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/python/spot/impl.i b/python/spot/impl.i
index 9667aed9d..696cb462c 100644
--- a/python/spot/impl.i
+++ b/python/spot/impl.i
@@ -444,6 +444,12 @@ namespace std {
 %include <spot/twa/acc.hh>
 %template(pair_bool_mark) std::pair<bool, spot::acc_cond::mark_t>;
 
+%pythonprepend spot::twa::prop_deterministic %{
+  from warnings import warn
+  warn("use prop_universal() instead of prop_deterministic()",
+       DeprecationWarning)
+%}
+
 %include <spot/twa/twa.hh>
 
 %include <spot/tl/apcollect.hh>
@@ -484,6 +490,7 @@ namespace std {
 %noexception spot::twa_graph::edges;
 %noexception spot::twa_graph::univ_dests;
 
+
 // Instead of %feature("shadow") we would like to use just
 //   %pythonprepend spot::twa_graph::out %{ self.report_univ_dest(src) %}
 // However Swig 3.0.2 (from Debian stable) names the argument "*args"
-- 
GitLab