fixed so as to use correct default value when prompt is on
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 12 Dec 2007 12:05:43 +0000 (12:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 12 Dec 2007 12:05:43 +0000 (12:05 +0000)
commit4eb121c4478448b571786761325aea4d762f7f27
treee4c21e5b767c72cb85741d30f02360195c285d4a
parent6032c659cb55d3c3456d6adc12b1bec45b1b81e7
fixed so as to use correct default value when prompt is on
source/utils.py