From 4bb1e41bc2a1ae93e26094d827f43d2d21ec8223 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 2 Jan 2018 14:28:18 +0000
Subject: Experimenting with power spec

---
 src/parse_ast.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parse_ast.ml')

diff --git a/src/parse_ast.ml b/src/parse_ast.ml
index bfbb0090..df4c2d2c 100644
--- a/src/parse_ast.ml
+++ b/src/parse_ast.ml
@@ -296,7 +296,7 @@ exp_aux =  (* Expression *)
  | E_try of exp * pexp list
  | E_return of exp
  | E_assert of exp * exp
- | E_internal_let of exp * exp * exp
+ | E_var of exp * exp * exp
 
 and exp = 
    E_aux of exp_aux * l
-- 
cgit v1.2.3