summaryrefslogtreecommitdiff
path: root/frontends/verific
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-07-28 19:38:30 +0200
committerClifford Wolf <clifford@clifford.at>2014-07-28 19:38:30 +0200
commit48822e79a34880c5f0b07e9889e463e7b6d7111b (patch)
tree801926693e8c9e4fe25a4ed570ad386e2da09fc6 /frontends/verific
parentec589659674ba9699b5dc73129ad69f25738e87e (diff)
Removed left over debug code
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions