From cb7dd27ff8dbc8d1e86fb511c105d8315aac4ed5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Thu, 30 Jan 2020 15:44:49 +0100
Subject: [PATCH] =?UTF-8?q?Preprocessor:=20fix=20=E2=80=9Cplanner=5Fdiscou?=
 =?UTF-8?q?nt=E2=80=9D=20option=20of=20=E2=80=9Cdiscretionary=5Fpolicy?=
 =?UTF-8?q?=E2=80=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Closes: #1699

(manually cherry picked from commit 7e63ac28b2555c676d6b97e96123492341cba356)
---
 preprocessor | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/preprocessor b/preprocessor
index e13e5a3244..a22bc7044d 160000
--- a/preprocessor
+++ b/preprocessor
@@ -1 +1 @@
-Subproject commit e13e5a3244f70789fcbf743aefaabbf9b4fee523
+Subproject commit a22bc7044d350aba016882db1b3fd81a9df51a11
-- 
GitLab