From fa900c39abcfc19086d4dbc981f621682544365d Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Fri, 10 Apr 2020 15:46:59 -0400
Subject: [PATCH] hide fp.xform.scale

---
 src/muz/fp/horn_tactic.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/muz/fp/horn_tactic.cpp b/src/muz/fp/horn_tactic.cpp
index dca3d5228..917a0796d 100644
--- a/src/muz/fp/horn_tactic.cpp
+++ b/src/muz/fp/horn_tactic.cpp
@@ -359,6 +359,8 @@ class horn_tactic : public tactic {
                 not_supported("xform.magic");
             if (p.xform_quantify_arrays())
                 not_supported("xform.quantify_arrays");
+            if (p.xform_scale())
+                not_supported("xform.scale");
         }
 
         void not_supported(char const* s) {