fix test

Dwight Guth · Dwight Guth · commit a7bcd276bcb6 · 2016-01-05T15:54:11.000-06:00
Former-commit-id: d751d74d62e61b3a233f361c1645f5e07429fc20 [formerly 4ae261c20aea91b109fc606d1c08cf2d80c49f18]
Former-commit-id: f6879b67a9e62d5f43f37e073540ea2782cff962
diff --git a/kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java b/kernel/src/test/java/org/kframework/kore/compile/GenerateSentencesFromConfigDeclTest.java
@@ -75,7 +75,7 @@ public void testSingleTop() {
                         Seq(NonTerminal(Sort("ThreadCellBag")), NonTerminal(Sort("ThreadCellBag"))),
                         Att().add("assoc","").add("comm","").add("unit",".ThreadCellBag")
                                 .add("element","ThreadCellBagItem").add("wrapElement","<thread>")
-                                .add("function").add("hook","BAG.concat")),
+                                .add("function").add("avoid").add("hook","BAG.concat")),
                 Production(".ThreadCellBag", Sort("ThreadCellBag"),
                         Seq(Terminal(".ThreadCellBag")),
                         Att().add("function").add("hook","BAG.unit")),
