<div class="gmail_quote">On Tue, Jan 17, 2012 at 18:03, Jos Koot <<a href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Thanks Rodolfo for your interest in lc-with-redex. I discovered the same problem long ago, but made not any comment on it because I did not need fix layout (or at least I think so, because I don't know what fix layout should do. In many respects I am very ignorant :) Thanks Robby for the push. I'll have a look as soon as the next nightly build is available. May be it will clarify to me what fix layout is for. </blockquote><div> After manually patching collects/redex/private/dot.rkt and running raco make dot.rkt, the error message disappeared. However I couldn't figure out what 'fix layout' was supposed to do (I was trying to use it just because I am a curious person). Apparently, no matter which option I choose from dot, neato, neato - hier and neato - ipsep, clicking on Fix Layout produces no visible outcome. I thought it would rearrange the graph... but even after manually moving things around, clicking the button has no visible effect. It was also strange to me that the boxes with reductions were not read-only, so I could freely edit (remove/change/add) the contents. []'s Rodolfo Carvalho </div></div>