Commit 2586b466 authored by Bruno Guillaume's avatar Bruno Guillaume

version 0.31.1: adapt to new libraries

parent 4920b479
S src
B _build/src
PKG yojson log conll dep2pict libgrew_dev lablgtk2 lablwebkit
PKG yojson log svg conll dep2pict libgrew_dev lablgtk2 lablwebkit
true: package(str, ANSITerminal, camomile, cairo2, log, conll, dep2pict, lablgtk2, lablgtk2.rsvg, lablgtk2.glade, lablwebkit)
true: package(containers, str, ANSITerminal, camomile, cairo2, log, svg, conll, dep2pict, lablgtk2, lablgtk2.rsvg, lablgtk2.glade, lablwebkit)
true: bin_annot
\ No newline at end of file
......@@ -285,8 +285,8 @@ let full () =
let pattern = Pattern.load ?domain pattern_file in
if not (List.mem node_id (Pattern.pid_list pattern))
then (Log.fmessage "The requester node_id \"%s\" is not defined in the pattern" node_id; exit 1)
if not (List.mem node_id (Pattern.pid_name_list pattern))
then (Log.fmessage "The requested node_id \"%s\" is not defined in the pattern" node_id; exit 1)
else
(* get the array of graphs to explore *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment