From 67a36a9bdeab539ff7f2afe262e743b617c8b955 Mon Sep 17 00:00:00 2001 From: Pascal Brisset Date: Wed, 21 Jun 2006 15:36:46 +0000 Subject: [PATCH] *** empty log message *** --- sw/tools/Makefile | 2 +- sw/tools/fp_proc.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sw/tools/Makefile b/sw/tools/Makefile index 74a2a61738..ea125b1f92 100644 --- a/sw/tools/Makefile +++ b/sw/tools/Makefile @@ -23,7 +23,7 @@ Q=@ OCAML=ocaml -OCAMLC=ocamlc -I ../lib/ocaml +OCAMLC=ocamlc -g -I ../lib/ocaml OCAMLLEX=ocamllex OCAMLYACC=ocamlyacc diff --git a/sw/tools/fp_proc.ml b/sw/tools/fp_proc.ml index 2a504ced9c..c533728511 100644 --- a/sw/tools/fp_proc.ml +++ b/sw/tools/fp_proc.ml @@ -264,7 +264,7 @@ let parse_include = fun dir include_xml -> let env = List.map (fun xml -> value xml env) params in let waypoints = Xml.children (ExtXml.child proc "waypoints") - and exceptions = Xml.children (ExtXml.child proc "exceptions") + and exceptions = try Xml.children (ExtXml.child proc "exceptions") with Not_found -> [] and blocks = Xml.children (ExtXml.child proc "blocks") in let waypoints = List.map (transform_waypoint prefix affine) waypoints