From 7e9f7d2cfe506b39633233a4c9e69259f1f78886 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 24 May 2018 16:02:58 -0700
Subject: [PATCH] remove removed paramter from comment

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qe_mbp.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/qe/qe_mbp.h b/src/qe/qe_mbp.h
index 25a95e885..bddec8065 100644
--- a/src/qe/qe_mbp.h
+++ b/src/qe/qe_mbp.h
@@ -88,7 +88,6 @@ namespace qe {
            Apply spacer friendly MBP.
            Use parameters to control behavior.
            - reduce_all_selects (false) 
-           - native_mbp (false) - to be deprecated
            - dont_sub (false) 
         */
         void spacer(app_ref_vector& vars, model& mdl, expr_ref& fml);