From 1088130bd95d5a1cfad4d3fb94e835c11048db6f Mon Sep 17 00:00:00 2001 From: Leandro Lucarella Date: Sat, 16 Dec 2006 23:39:37 +0000 Subject: [PATCH] Bugfixes. --- trunk/src/breve/SistemaAutonomo.tz | 2 +- trunk/src/breve/SistemaAutonomoDemo.tz | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/trunk/src/breve/SistemaAutonomo.tz b/trunk/src/breve/SistemaAutonomo.tz index 3cd73bc..3bcf5c1 100644 --- a/trunk/src/breve/SistemaAutonomo.tz +++ b/trunk/src/breve/SistemaAutonomo.tz @@ -1,5 +1,5 @@ -@plugin "plugin.so" (SAbrFunctions). +@plugin "../plugin.so" (SAbrFunctions). @define ANY -3000000. diff --git a/trunk/src/breve/SistemaAutonomoDemo.tz b/trunk/src/breve/SistemaAutonomoDemo.tz index ad22ae2..aff71cd 100644 --- a/trunk/src/breve/SistemaAutonomoDemo.tz +++ b/trunk/src/breve/SistemaAutonomoDemo.tz @@ -23,7 +23,7 @@ Control : SistemaAutonomoController { entorno{"movido"} = 0. print "Actualiza entorno". - sa update-entorno entorno entorno. + sa update-entorno with entorno. print "Crea Teoria 1". teorias = 2 new Teorias. @@ -66,7 +66,7 @@ Control : SistemaAutonomoController { print "Ponemos condicion final esperada para el plan". datos-finales{"movido"} = 1. - sa update-datos-finales datos-finales datos-finales. + sa update-datos-finales with datos-finales. print "Calcula el plan". sa plan. @@ -88,7 +88,7 @@ Control : SistemaAutonomoController { } print "Valida teoria". - sa update-entorno entorno entorno. + sa update-entorno with entorno. if (sa validate theory teoria): { print "valida". } -- 2.43.0