diff make/pic.make @ 10089:97e8cabe9064

fix canonicalization of UnsafeStoreNode: preserve stateAfter
author Andreas Woess <andreas.woess@jku.at>
date Wed, 19 Jun 2013 15:29:37 +0200
parents 0771839a29ab
children
line wrap: on
line diff