Message2269

Author mikko
Recipients malte, mikko
Date 2012-06-18.10:32:56
Content
Your welcome, let me know if I can do anything else to help.

I agree that it is sensible to not have non-goal variables at the highest level.
In fact, it does not make much sense to have non-goal leaf variables in the CG at 
all, and whenver possible, this should be avoided when pruning the CG.
History
Date User Action Args
2012-06-18 10:32:56mikkosetmessageid: <1340008376.29.0.282041470753.issue341@gmail.com>
2012-06-18 10:32:56mikkosetrecipients: + mikko, malte
2012-06-18 10:32:56mikkolinkissue341 messages
2012-06-18 10:32:56mikkocreate