Bugfix in Script

231b05db · Sarah Grebing · 71bb8873 · 231b05db
Commit 231b05db authored May 18, 2018 by Sarah Grebing
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/fol/script.kps ...esources/edu/kit/iti/formal/psdbg/examples/fol/script.kps +1 -1

No files found.
--- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/fol/script.kps
+++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/fol/script.kps
@@ -6,7 +6,7 @@ script main() {
    feqfff: TERM :=  `f(c) = f(f(f(c)))`;

    impRight;
-    instantiate var=`x` with=`c`;
+    instantiate var='x' with=`c`;
    applyEq on=`f(f(c))` formula=feqfff;
    eqSymm on=feqff;
    close;