Silence the linter on assert in irep.h

tautschnig · tautschnig · commit d58fd18159e9 · 2018-06-14T08:58:24.000Z
Using invariant.h would drag in a number of additional headers into almost every
file thus it seems preferable to maintain the assert here.
diff --git a/src/util/irep.h b/src/util/irep.h
@@ -121,6 +121,7 @@ class irept
   {
     if(data!=&empty_d)
     {
+      // NOLINTNEXTLINE(build/deprecated)
       assert(data->ref_count!=0);
       data->ref_count++;
       #ifdef IREP_DEBUG

Original file line number	Diff line number	Diff line change
`@@ -121,6 +121,7 @@ class irept`
`121`	`121`	`{`
`122`	`122`	`if(data!=&empty_d)`
`123`	`123`	`{`
	`124`	`+ // NOLINTNEXTLINE(build/deprecated)`
`124`	`125`	`assert(data->ref_count!=0);`
`125`	`126`	`data->ref_count++;`
`126`	`127`	`#ifdef IREP_DEBUG`