From 7f1fcaa3a5f84e89ed66badb7a51dabacfef26d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= Date: Thu, 12 Dec 2019 18:18:22 +0100 Subject: [PATCH] Preprocessor update MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit — new command “evaluate_planner_objective” (#1678) — some new symbolic simplification rules — various fixes to “epilogue” block (preprocessor#36) --- preprocessor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/preprocessor b/preprocessor index 5430bb4bc..c1b8cdf81 160000 --- a/preprocessor +++ b/preprocessor @@ -1 +1 @@ -Subproject commit 5430bb4bc63e254af23bd0006f25aef33f3cbdcf +Subproject commit c1b8cdf811b94ed725111a8b013ec5fd24849aac