rts: Make compact debugging output depend upon compact debug flag
authorBen Gamari <ben@smart-cactus.org>
Tue, 23 May 2017 14:33:58 +0000 (10:33 -0400)
committerBen Gamari <ben@smart-cactus.org>
Tue, 23 May 2017 14:57:29 +0000 (10:57 -0400)
commita29132e9248e39a45673b5c146341d9f4947dacd
tree8f76b85afb4ea35b503dca3da57f152618cd3f9b
parent6166b59fadb8714cd497902c8469fd2b3b6caf46
rts: Make compact debugging output depend upon compact debug flag
rts/sm/CNF.c