summaryrefslogtreecommitdiff
path: root/impl/systems/example.eqns
diff options
context:
space:
mode:
Diffstat (limited to 'impl/systems/example.eqns')
-rw-r--r--impl/systems/example.eqns4
1 files changed, 2 insertions, 2 deletions
diff --git a/impl/systems/example.eqns b/impl/systems/example.eqns
index 71ee74a..dc59a01 100644
--- a/impl/systems/example.eqns
+++ b/impl/systems/example.eqns
@@ -1,3 +1,3 @@
-x1 = max(0, min(x1-1, x2))
+x1 = max(0, min(x1 - 1, x2))
x2 = max(0, 5+x1, x1)
-x3 = max(0, 1+x3, 0+x1)
+x3 = max(0, 1 + x3, 0 + x1)