From 2ccee1e68b288be06464d39d63e5f857fb35cd8d Mon Sep 17 00:00:00 2001 From: bdemsky Date: Sun, 5 Jun 2011 08:15:17 +0000 Subject: [PATCH] code changes --- Robust/src/IR/Flat/BuildCode.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java index 60ba556c..1cc26c64 100644 --- a/Robust/src/IR/Flat/BuildCode.java +++ b/Robust/src/IR/Flat/BuildCode.java @@ -414,10 +414,13 @@ public class BuildCode { outmethod.println(" for(i=1;i___length___)+sizeof(int)))[i-1]=newstring;"); outmethod.println(" }"); -- 2.34.1