Rename the maxRes to r_mem
authorIustin Pop <iustin@google.com>
Thu, 12 Mar 2009 20:07:47 +0000 (21:07 +0100)
committerIustin Pop <iustin@google.com>
Thu, 12 Mar 2009 20:07:47 +0000 (21:07 +0100)
commitc622fa7c53d1078af258686ed0ae584538337918
treef41f471f5972ae8299c0031a5ca11a504e82e13a
parent04247752cafb6c508f29b57651aa3182bc4fe25e
Rename the maxRes to r_mem

This is to keep in style with the other memory variables.
src/Node.hs