From: Doni Pracner Date: Wed, 20 Apr 2016 12:56:27 +0000 (+0200) Subject: mjc2wsl, function generation fixed to be in line with the updates to FermaT X-Git-Tag: v0.2.1~9 X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff_plain;h=2fd2214f9aaaf2941fa0cd454dd308dd4b52d271 mjc2wsl, function generation fixed to be in line with the updates to FermaT --- diff --git a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java index f1ac5a0..2ba758b 100644 --- a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java +++ b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java @@ -206,7 +206,7 @@ public class mjc2wsl{ ret.append("\nWHERE\n"); ret.append("\nFUNCT CHR(num) ==:\n"); - ret.append("\t@List_To_String(< num >)\n"); + ret.append("\t(@List_To_String(< num >))\n"); ret.append("END\n"); if (!genInlinePrint) {