diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/generator.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/generator.ml b/src/generator.ml index fdd228eb..92a77359 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -42,6 +42,7 @@ #load "unix.cma";; #load "str.cma";; #directory "+xml-light";; +#directory "+../pkg-lib/xml-light";; (* for GODI users *) #load "xml-light.cma";; open Unix |