From 731e57c7b7817982b25ee4ae0c25766bb575424e Mon Sep 17 00:00:00 2001
From: Eduardo Cavazos <dharmatech@finkelstein.stackeffects.info>
Date: Sun, 13 Jul 2008 02:02:08 -0500
Subject: [PATCH] automata.ui: update for new add-gadget effect

---
 extra/automata/ui/ui.factor | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/extra/automata/ui/ui.factor b/extra/automata/ui/ui.factor
index 5678a6f06b..78f1074eb8 100644
--- a/extra/automata/ui/ui.factor
+++ b/extra/automata/ui/ui.factor
@@ -23,11 +23,8 @@ IN: automata.ui
 
 ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 
-QUALIFIED: ui.gadgets
 QUALIFIED: ui.gadgets.grids
 
-: add-gadget ( parent child -- parent ) over ui.gadgets:add-gadget ;
-
 : grid-add ( grid child i j -- grid )
   >r >r dupd swap r> r> ui.gadgets.grids:grid-add ;