Remove notappargs, which is unused now.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 30 Mar 2010 13:00:16 +0000 (15:00 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 30 Mar 2010 13:00:16 +0000 (15:00 +0200)
commit042536460e46c13ab24363b2a8e44eb46d2e7be4
treede608c8eadff29ecb2a1752fcad009a6726606b7
parentd54117f6de8d00fe0ce7552c905cf197678d7ed7
Remove notappargs, which is unused now.
cλash/CLasH/Normalize/NormalizeTools.hs