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/algebra/syntax.spad | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/algebra')

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