Re: Ann: SWI-Prolog 6.5.2

>>>      ==
>>>      :- current_prolog_flag(os_argv, Argv),
>>>         set_prolog_flag(argv, Argv).
>>>      ==
>>
>> or, to maintain compatibility with older SWIPL versions:
>>
>> :- current_prolog_flag(os_argv, Argv)
>>    -> set_prolog_flag(argv, Argv)
>>     ; true.
> 
> Not sure I get this

My aim is just to keep old code running on the old *and* new Prolog,
with a minimal change. Your hack has the problem that the directive
fails on the old Prolog. That's what I wanted to fix. Am I missing
something?

Best,
Kilian