minor bug fixes

2 files changed, 4 insertions, 8 deletions

diff --git a/src/interpreter/PeggyParser.js b/src/interpreter/PeggyParser.js
index 632f1b7..5671d91 100644
--- a/src/interpreter/PeggyParser.js
+++ b/src/interpreter/PeggyParser.js
@@ -201,7 +201,7 @@ export default (function () {
     );
   };
 
-  function peg$parse(input, options, allowUnderscores = false) {
+  function peg$parse(input, options) {
     options = options !== undefined ? options : {};
 
     var peg$FAILED = {};
@@ -215,7 +215,7 @@ export default (function () {
     var peg$c2 = ".";
     var peg$c3 = "\r\n";
 
-    var peg$r0 = allowUnderscores ? /^[a-zA-Z0-9]_/ : /^[a-zA-Z0-9]/;
+    var peg$r0 = /^[a-zA-Z0-9]/;
     var peg$r1 = /^[\\\u03BB]/;
     var peg$r2 = /^[\t-\n ]/;
 
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 });
 };