From 5810cb6f263679851a135691a7ee483fda959472 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 9 Jan 2009 16:11:08 +0000
Subject: 	* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite. 
 (SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32, 	UInt8, UInt
 16, UInt32): New. 	* algebra/Makefile.pamphlet (axiom_algebra_layer_7):
 Include INT8, 	INT16, INT32, UINT8, UINT16, UINT32.

---
 src/interp/c-util.boot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/interp/c-util.boot')

diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index 5ccaaa26..89173ac0 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -1113,7 +1113,7 @@ proclaimCapsuleFunction(op,sig) ==
           -- We want accurate approximation for subdomains/superdomains
           -- that are specialized and known to the VM.
           (m := getVMType normalize $functorForm) = "%Thing" =>
-             getVMType normalize $
+             getVMType normalize "$"
           m
         getVMType normalize d
       normalize(d,top? == true) ==
-- 
cgit v1.2.3