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/long-line-backslash.l | |
parent | 6cb8eb51d8a2106a85cf3205fbe0e6d490770c54 (diff) |
added Solaris-specific path. Requires LEGO versions more recent than 1.3.1
Diffstat (limited to 'etc/lego/long-line-backslash.l')
-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"; |