From db0175b25bff72cdc2879adaca92798adcb7db8f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 10 Jan 2008 13:50:03 +0000
Subject: Fix thinko

---
 src/ChangeLog           | 5 +++++
 src/algebra/syntax.spad | 7 ++++++-
 2 files changed, 11 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/ChangeLog b/src/ChangeLog
index b91d904a..ef638235 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-01-10  Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+	* algebra/syntax.spad (getOperator): Inject into the right
+	Union branhc.
+
 2008-01-08  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/msgdb.boot (brightPrint0): Disable highlightinh on Win32.
diff --git a/src/algebra/syntax.spad b/src/algebra/syntax.spad
index b6fac427..2dd65ccb 100644
--- a/src/algebra/syntax.spad
+++ b/src/algebra/syntax.spad
@@ -174,7 +174,12 @@ Syntax(): Public == Private where
 
     getOperator x ==
       atom? rep x => userError "atom as operand to getOperator"
-      convert car rep x
+      op := car rep x
+      symbol? op => symbol op
+      integer? op => integer op
+      float? op => float op
+      string? op => string op
+      convert op
 
     getOperands x ==
       s := rep x
-- 
cgit v1.2.3