From 38870939969624902c21f18a32c7e1b2b40ef386 Mon Sep 17 00:00:00 2001
From: chriswestbrown <wcbrown@usna.edu>
Date: Sat, 20 Jul 2024 07:40:01 -0400
Subject: [PATCH] improved error message when rawnormalizer is used with a
 formula containing _root_ expressions.

---
 interpreter/src/formula/normalize.h    | 1 +
 interpreter/src/shell/einterpreter.cpp | 1 +
 2 files changed, 2 insertions(+)

diff --git a/interpreter/src/formula/normalize.h b/interpreter/src/formula/normalize.h
index e417f07e2..3536dd468 100644
--- a/interpreter/src/formula/normalize.h
+++ b/interpreter/src/formula/normalize.h
@@ -115,6 +115,7 @@ class RawNormalizer : public TFPolyFun
   RawNormalizer(Normalizer* p) { normp = p; }
   void action(TConstObj* p) { res = p; }
   void action(TAtomObj* p) { res = normp->normalize(p); }
+  void action(TExtAtomObj* p) { throw TarskiException("RawNormalizer does not support _root_ expressions."); }
   void action(TAndObj* p) 
   { 
     // 1: split into two conjunctions - pure atomic formulas, and non-pure atomic formulas
diff --git a/interpreter/src/shell/einterpreter.cpp b/interpreter/src/shell/einterpreter.cpp
index 88e316bfa..2d1ca9a5d 100644
--- a/interpreter/src/shell/einterpreter.cpp
+++ b/interpreter/src/shell/einterpreter.cpp
@@ -872,6 +872,7 @@ class CommSuggestVarOrder : public EICommand
     try {
       TFormRef F = args[0]->tar()->val;
       vector<VarSet> V = getBrownVariableOrder(F);
+      
       LisRef res = new LisObj();
       for(int i = 0; i < V.size(); i++)
 	res->push_back(new SymObj(getPolyManagerPtr()->getName(V[i])));