From 9a593e3b395c1ba0c6036760c12713d7485f8c54 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 4 Aug 2011 13:56:52 +0000
Subject: cleanup

---
 src/interp/i-object.boot | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/interp/i-object.boot')

diff --git a/src/interp/i-object.boot b/src/interp/i-object.boot
index b8560f59..c2bf03ff 100644
--- a/src/interp/i-object.boot
+++ b/src/interp/i-object.boot
@@ -116,7 +116,7 @@ getValueNormalForm obj ==
   atom val => val
   [op,:argl] := val
   op is "WRAPPED" => MKQ argl
-  IDENTP op and isConstructorName op => 
+  ident? op and isConstructorName op => 
     isConceptualCategory objMode obj => instantiationNormalForm(op,argl)
     MKQ val
   -- This is not the final value of `obj', rather something that needs
@@ -127,7 +127,7 @@ instantiationNormalForm(op,argl) ==
   [op,:[normalVal for arg in argl]] where normalVal() ==
      atom arg => arg
      [h,:t] := arg
-     IDENTP h and isConstructorName h => instantiationNormalForm(h,t)
+     ident? h and isConstructorName h => instantiationNormalForm(h,t)
      MKQ arg
 
 
-- 
cgit v1.2.3