diff options
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/lasso-book/check-functions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/lasso-book/check-functions.py b/docs/lasso-book/check-functions.py index 86d68e01..87a968b8 100755 --- a/docs/lasso-book/check-functions.py +++ b/docs/lasso-book/check-functions.py @@ -14,7 +14,7 @@ for line in file(sys.argv[1]): for f in re.findall(r"(lasso_[a-zA-Z_]+?)\(", line): functions[f] = 1 -known_symbols = [x.strip() for x in file("../reference/lasso-decl-list.txt")] +known_symbols = [x.strip() for x in file("../reference/build/lasso-decl-list.txt")] for f in functions: if not f in known_symbols: |