From 2fd2214f9aaaf2941fa0cd454dd308dd4b52d271 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Wed, 20 Apr 2016 14:56:27 +0200 Subject: [PATCH] mjc2wsl, function generation fixed to be in line with the updates to FermaT --- src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) { -- 2.25.1