Update to new chopper version (#744)

* changes to fit with new version of chopper * Updates submodules --------- Co-authored-by: jcp19 <[email protected]> Co-authored-by: João Pereira <[email protected]>
viperproject · Mar 25, 2024 · 011b922 · 011b922
1 parent 09b191b
commit 011b922
Show file tree

Hide file tree

Showing 2 changed files with 2 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,6 +91,7 @@ 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),

diff --git a/viperserver b/viperserver