Se cambia de lugar la purgación de teorías porque podía pasar que se purge una teoria...

[z.facultad/75.68/celdas.git] / trunk / src / breve / Laberinto.tz

diff --git a/trunk/src/breve/Laberinto.tz b/trunk/src/breve/Laberinto.tz
index 71b18fbf08be19c449d0879f68d335a83d05b11a..8ab161995edc05561099198faffe51462c1ac464 100644 (file)
--- a/trunk/src/breve/Laberinto.tz
+++ b/trunk/src/breve/Laberinto.tz
@@ -174,11 +174,7 @@ CeldasObstacle  : Labyrinth{
 \r
 Control: myControl{\r
 + variables:\r
 \r
 Control: myControl{\r
 + variables:\r

-    agent(object).\r
-    pared(object).\r

     labe(object). \r
     labe(object). \r

-    \r
-    sensor (object).\r

     vehicle (object).\r
  \r
 + to init:\r
     vehicle (object).\r
  \r
 + to init:\r