From 14e96f5e5dad439383d63e60a52169cc2e7aaa5c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 May 2018 21:04:03 -0400
Subject: - Re-named "Top" to "Any", and "Bottom" to "Nothing". - Removed some
 modules that should have been deleted before.

---
 new-luxc/source/luxc/lang/host/php.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'new-luxc/source/luxc/lang/host/php.lux')

diff --git a/new-luxc/source/luxc/lang/host/php.lux b/new-luxc/source/luxc/lang/host/php.lux
index 982989320..603888d3e 100644
--- a/new-luxc/source/luxc/lang/host/php.lux
+++ b/new-luxc/source/luxc/lang/host/php.lux
@@ -7,11 +7,11 @@
              (coll [list "list/" Functor<List> Fold<List>]))
        (type abstract)))
 
-(abstract: Global' {} Top)
-(abstract: Var' {} Top)
-(abstract: Computation' {} Top)
-(abstract: (Expression' k) {} Top)
-(abstract: Statement' {} Top)
+(abstract: Global' {} Any)
+(abstract: Var' {} Any)
+(abstract: Computation' {} Any)
+(abstract: (Expression' k) {} Any)
+(abstract: Statement' {} Any)
 
 (abstract: (Code' k)
   {}
-- 
cgit v1.2.3