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 4165d375..c85dcdc6 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 "/usr/local/share/lego/lib-alpha/lib_Type/lib_logic"; +Make "/usr/local/share/lego/lib-alpha/lib_Type/lib_logic"; |