summaryrefslogtreecommitdiff
path: root/src/interpreter/parser.ts
diff options
context:
space:
mode:
Diffstat (limited to 'src/interpreter/parser.ts')
-rw-r--r--src/interpreter/parser.ts8
1 files changed, 2 insertions, 6 deletions
diff --git a/src/interpreter/parser.ts b/src/interpreter/parser.ts
index d288815..5e3be0f 100644
--- a/src/interpreter/parser.ts
+++ b/src/interpreter/parser.ts
@@ -30,10 +30,6 @@ export const isVariable = (term: LambdaTerm): term is Variable => {
return typeof term === "string";
};
-export const parse = (
- term: string,
- allowUnderscores = false,
- library = false,
-) => {
- return peggyParser.parse(term, { peg$library: library }, allowUnderscores);
+export const parse = (term: string, library = false) => {
+ return peggyParser.parse(term, { peg$library: library });
};