ID_suffix

Peter Schrammel · peterschrammel · commit 403aa32c0d52 · 2016-12-09T21:15:10.000Z
diff --git a/src/util/irep_ids.txt b/src/util/irep_ids.txt
@@ -716,6 +716,7 @@ noreturn
 C_noreturn #noreturn
 process
 signal
+suffix
 weak
 is_weak
 C_spec_loop_invariant #spec_loop_invariant
