diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1999-01-21 13:34:02 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1999-01-21 13:34:02 +0000 |
| commit | 04403839fc16e53b0258d6da043aa1e7537de20c (patch) | |
| tree | e03d42c7574affc38a1ac7e0f8b336a3157bf9a8 /etc/lego | |
| parent | fca6147eee72f4c22421884100e5beca0f7e7f5a (diff) | |
Improved test file so that it works correctly with installed LEGO 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 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"; |