Fixing minor portability issues
This commit is contained in:
parent
5d1aa5844a
commit
d5879430da
@ -214,9 +214,9 @@
|
||||
problog_flag/2]).
|
||||
|
||||
|
||||
:-ensure_loaded(gflags).
|
||||
:-ensure_loaded(os).
|
||||
:-ensure_loaded(logger).
|
||||
:- use_module(gflags).
|
||||
:- use_module(os).
|
||||
:- use_module(logger).
|
||||
|
||||
problog_define_flag(Flag, Type, Description, DefaultValue):-
|
||||
flag_define(Flag, Type, DefaultValue, Description).
|
||||
|
@ -245,8 +245,8 @@
|
||||
flag_get/2,
|
||||
flags_reset/0]).
|
||||
|
||||
:-ensure_loaded(library(lists)).
|
||||
:-ensure_loaded(library(system)). % for file operations
|
||||
:- use_module(library(lists)).
|
||||
:- use_module(library(system)). % for file operations
|
||||
|
||||
flag_define(Flag, Type, DefaultValue, Message):-
|
||||
flag_define(Flag, general, Type, DefaultValue, flags:true, Message).
|
||||
|
Reference in New Issue
Block a user