cleanup

2014-09-09 23:55:47 -05:00
parent 87e36bcfe2
commit 9e7257978c
7 changed files with 12 additions and 5 deletions
--- a/library/mpi/examples/demo1_mpe.pl
+++ b/library/mpi/examples/demo1_mpe.pl
@@ -6,6 +6,10 @@
 %%
 %% This file is in the Public Domain.

+:- use_module(library(mpi)).
+:- use_module(library(mpe)).
+
+
 %% demo1_mpe.pl is the same as demo1.pl, except
 %% that MPE is used to log MPI activity.