S. Gilles on Sat, 15 Jul 2017 15:36:30 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: fetch_user_var() doesn't behave as I expect


On 2017-07-15T11:47:59+0200, Bill Allombert wrote:
> On Fri, Jul 14, 2017 at 10:39:55PM +0000, S. Gilles wrote:
>
> [...]
>
> In library mode, you should rather use fetch_var/delete_var rather than
> varlower.

Okay, thanks for the clarification. I suppose I should be storing
variable numbers instead of names if I want to substitute later.

-- 
S. Gilles