Avoid deprecated code_typet() constructor

NathanJPhillips · Jun 7, 2018 · e23a1bb · e23a1bb
1 parent aef48c2
commit e23a1bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/goto-programs/goto_function.h b/src/goto-programs/goto_function.h
@@ -46,7 +46,7 @@ class goto_functiont
     type.set(ID_C_hide, true);
   }
 
-  goto_functiont()
+  goto_functiont() : body(), type({}, empty_typet())
   {
   }