add next_symbol irep ID

kroening · kroening · commit 33a9b73a6cea · 2023-09-18T09:59:32.000-07:00
diff --git a/src/hw_cbmc_irep_ids.h b/src/hw_cbmc_irep_ids.h
@@ -132,3 +132,4 @@ IREP_ID_ONE(operands)
 IREP_ID_ONE(VHDL)
 IREP_ID_ONE(init)
 IREP_ID_ONE(incomplete_array)
+IREP_ID_ONE(next_symbol)
