diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1999-01-18 16:42:17 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1999-01-18 16:42:17 +0000 |
| commit | fca6147eee72f4c22421884100e5beca0f7e7f5a (patch) | |
| tree | 82e4b4491886c74eeec2d65f7b4822ea062c75f2 /etc/lego | |
| parent | 6cb8eb51d8a2106a85cf3205fbe0e6d490770c54 (diff) | |
added Solaris-specific path. Requires LEGO versions more recent than 1.3.1
Diffstat (limited to 'etc/lego')
| -rw-r--r-- | etc/lego/long-line-backslash.l | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/lego/long-line-backslash.l b/etc/lego/long-line-backslash.l index f27c8d79..4165d375 100644 --- a/etc/lego/long-line-backslash.l +++ b/etc/lego/long-line-backslash.l @@ -18,5 +18,5 @@ echo "\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\ (* Test something with eager annotations *) -Load lib_logic; +Load "/usr/local/share/lego/lib-alpha/lib_Type/lib_logic"; |