From ba3c34b3c62e13b6c324c361deba34a36d93984e Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Wed, 9 Mar 2016 12:00:18 +0000
Subject: [PATCH] esprima-to-ast: Fix typo in tag name
---
esprima-to-ast.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/esprima-to-ast.js b/esprima-to-ast.js
index 89fff65..1a2cafc 100644
--- a/esprima-to-ast.js
+++ b/esprima-to-ast.js
@@ -365,7 +365,7 @@ function esprimaToAST(prog) {
type: "expr",
tag: "Coq_expr_binary_op",
arg1: previousValue,
- op: { type: "binary_op", tag: "Cow_binary_op_coma" },
+ op: { type: "binary_op", tag: "Coq_binary_op_coma" },
arg2: currentValue,
loc: {
file: previousValue.loc.file,
--
GitLab