diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 17:01:46 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-04 17:01:46 +0200 |
commit | 52cf627598c2f124c18665172417bdb36d6fdb1d (patch) | |
tree | c225f24eea8c08e03e8c2c986d40a66d7362dbd6 /src/pinocchio.h | |
parent | fd79d0aad41794039cb00296463422a13cfae21a (diff) |
Remove --latex in favour of --table-style
Diffstat (limited to 'src/pinocchio.h')
-rw-r--r-- | src/pinocchio.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/pinocchio.h b/src/pinocchio.h index 51e4dd5..fb74f3c 100644 --- a/src/pinocchio.h +++ b/src/pinocchio.h @@ -19,8 +19,7 @@ typedef struct { uint64_t vars; } ast_t; -void astprocess_cli(ast_t); -void astprocess_latex(ast_t); +void astprocess(ast_t); void user_error(const char *, ...) #if __GNUC__ __attribute__((format(printf, 1, 2))) |