Make state values unused in a SignalNameMap.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 2 Feb 2009 15:31:51 +0000 (16:31 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 2 Feb 2009 15:31:51 +0000 (16:31 +0100)
commit2d373e3ef037e8d5e0e8d67337a21a213254e61f
tree00dad219c61a656578b99c141e2bce4ccecdca8d
parent296146a80304f2763e7bc0d7d4f7cbe63036937b
Make state values unused in a SignalNameMap.
Translator.hs