bump CBMC

Daniel Kroening · Daniel Kroening · commit 89305623fd45 · 2018-06-14T09:34:55.000+01:00
diff --git a/src/hw_cbmc_irep_ids.h b/src/hw_cbmc_irep_ids.h
@@ -52,7 +52,6 @@ IREP_ID_ONE(inout)
 IREP_ID_ONE(inst)
 IREP_ID_ONE(inst_builtin)
 IREP_ID_ONE(instance)
-IREP_ID_ONE(interface)
 IREP_ID_ONE(local_parameter_decl)
 IREP_ID_ONE(logic)
 IREP_ID_ONE(macromodule)
