From 89789e82326d423277c55889a5252180890db8da Mon Sep 17 00:00:00 2001
From: Theofrastos Mantadelis <theo@herbie.cs.kuleuven.be>
Date: Tue, 8 Feb 2011 15:57:23 +0100
Subject: [PATCH] corrected an import bug

---
 packages/ProbLog/problog/flags.yap | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/ProbLog/problog/flags.yap b/packages/ProbLog/problog/flags.yap
index 54a77fb93..438a8ca07 100644
--- a/packages/ProbLog/problog/flags.yap
+++ b/packages/ProbLog/problog/flags.yap
@@ -213,10 +213,10 @@
                          reset_problog_flags/0,
                          problog_flag/2]).
 
-
 :- use_module(gflags).
 :- use_module(os).
 :- use_module(logger).
+:- use_module(library(system), [file_exists/1, delete_file/1]).
 
 problog_define_flag(Flag, Type, Description, DefaultValue):-
   flag_define(Flag, Type, DefaultValue, Description).