From f4966795f99a752cae2f21b7c28a58e15e4ae59f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 9 Jan 2020 09:03:17 -0800
Subject: [PATCH] build errors

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_aig_cuts.cpp | 2 +-
 src/sat/sat_cutset.h     | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/sat/sat_aig_cuts.cpp b/src/sat/sat_aig_cuts.cpp
index fba07cc28..a5e3e84e1 100644
--- a/src/sat/sat_aig_cuts.cpp
+++ b/src/sat/sat_aig_cuts.cpp
@@ -300,7 +300,7 @@ namespace sat {
                 lit = lit.sign() ? ~to_root[lit.var()] : to_root[lit.var()];
             }
         }
-        if (changed) {
+        if (changed && (n.is_and() || n.is_xor())) {
             std::sort(m_literals.c_ptr() + n.offset(), m_literals.c_ptr() + n.offset() + n.num_children());
         }
     }
diff --git a/src/sat/sat_cutset.h b/src/sat/sat_cutset.h
index 361e0c889..b9142e7f5 100644
--- a/src/sat/sat_cutset.h
+++ b/src/sat/sat_cutset.h
@@ -13,6 +13,8 @@
 
 #pragma once
 #include "util/region.h"
+#include "util/debug.h"
+#include <algorithm>
 
 namespace sat {