diff --git a/fuzzer/Fuzzer.java b/fuzzer/Fuzzer.java
index 04ed82c9cf3ae8ce16a4e872f30372ee93d79c98..7f9e97fcf0091daf70a5b51d86525f6de8c8528a 100644
--- a/fuzzer/Fuzzer.java
+++ b/fuzzer/Fuzzer.java
@@ -177,9 +177,18 @@ public class Fuzzer {
}
break;
case STORE:
- // Make up a name
- name = name + generateName();
- vars.add(name);
+ // If not correct, make up a name not in the list
+ //if (correct || vars.size() == 0){
+ // Make up a name
+ name = generateName();
+ vars.add(name);
+ //}
+ // If no variables, return empty string
+ //else {
+ // name = vars.get(randomRange(0,vars.size()-1));
+ //}
+
+
name = " " + name;
break;
case SAVE: