Bugfixes.

diff --git a/trunk/src/breve/SistemaAutonomo.tz b/trunk/src/breve/SistemaAutonomo.tz
index 3cd73bcc5a0de29a7924b8d70190c36a6bf218ab..3bcf5c11da3d77103f89c0140f0679115c7953cf 100644 (file)
--- a/trunk/src/breve/SistemaAutonomo.tz
+++ b/trunk/src/breve/SistemaAutonomo.tz
@@ -1,5 +1,5 @@
 \r
 \r

-@plugin "plugin.so" (SAbrFunctions).\r
+@plugin "../plugin.so" (SAbrFunctions).\r

 \r
 @define ANY -3000000.\r
 \r
 \r
 @define ANY -3000000.\r
 \r

diff --git a/trunk/src/breve/SistemaAutonomoDemo.tz b/trunk/src/breve/SistemaAutonomoDemo.tz
index ad22ae2042981319147b52210d69ac587572f05c..aff71cd9ddb11b3c255b4e1d7354c59db308f874 100644 (file)
--- a/trunk/src/breve/SistemaAutonomoDemo.tz
+++ b/trunk/src/breve/SistemaAutonomoDemo.tz
@@ -23,7 +23,7 @@ Control : SistemaAutonomoController {
                entorno{"movido"} = 0.
 
                print "Actualiza entorno".
                entorno{"movido"} = 0.
 
                print "Actualiza entorno".

-               sa update-entorno entorno entorno.
+               sa update-entorno with entorno.

 
                print "Crea Teoria 1".
                teorias = 2 new Teorias.
 
                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.
 
                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.
 
                print "Calcula el plan".
                sa plan.


@@ -88,7 +88,7 @@ Control : SistemaAutonomoController {
                        }
 
                        print "Valida teoria".
                        }
 
                        print "Valida teoria".

-                       sa update-entorno entorno entorno.
+                       sa update-entorno with entorno.

                        if (sa validate theory teoria): {
                                print "valida".
                        }
                        if (sa validate theory teoria): {
                                print "valida".
                        }