removed entry from penalty config that will is going to be necessary …

…for the next submodule update
viperproject · Mar 15, 2024 · 5e3f6ed · 5e3f6ed
1 parent 4e451b7
commit 5e3f6ed
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/scala/viper/gobra/util/ChopperUtil.scala b/src/main/scala/viper/gobra/util/ChopperUtil.scala
@@ -91,7 +91,6 @@ object ChopperUtil {
         method          = get("method_body",      dfltConf.method),
         methodSpec      = get("method_spec",      dfltConf.methodSpec),
         function        = get("function_body",    dfltConf.function),
-        functionSig     = get("function_spec",    dfltConf.function),
         predicate       = get("predicate_body",   dfltConf.predicate),
         predicateSig    = get("predicate_spec",   dfltConf.predicateSig),
         field           = get("field",            dfltConf.field),