diff options
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"; |