Fix minor variations between interactive and automatic modes#133

istathar merged 1 commit into

technique-lang:maintechnique-lang/technique:mainfrom

istathar:fix-variationsistathar/technique:fix-variationsCopy head branch name to clipboard