Add redundant irep_id

thomasspriggs · thomasspriggs · commit a03407547dde · 2020-08-20T15:16:27.000+01:00
To check CI is working as expected.
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -49,6 +49,7 @@ IREP_ID_ONE(or)
 IREP_ID_ONE(nor)
 IREP_ID_ONE(xor)
 IREP_ID_ONE(not)
+IREP_ID_ONE(biscuits)
 IREP_ID_ONE(bitand)
 IREP_ID_ONE(bitor)
 IREP_ID_ONE(bitnot)
