From 9db37fbdc4799231c7310116ced0b336ff5375dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@nomadic-labs.com>
Date: Thu, 14 Mar 2019 18:05:57 +0100
Subject: [PATCH] operations_decl is now disallowed

---
 AST2.ml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/AST2.ml b/AST2.ml
index 5b6b62414..4cf261b31 100644
--- a/AST2.ml
+++ b/AST2.ml
@@ -93,7 +93,6 @@ module O = struct
   type ast = {
       types           : type_decl list;
       storage_decl    : typed_var;
-      operations_decl : typed_var;
       declarations    : decl list;
     }
 end
@@ -591,10 +590,10 @@ let s_ast (ast : I.ast) : O.ast =
   let storage_decl = match storage_decl with
       Some x -> x
     | None -> failwith "Missing storage declaration" in
-  let operations_decl = match operations_decl with
-      Some x -> x
-    | None -> failwith "Missing storage declaration"
-  in {types; storage_decl; operations_decl; declarations}
+  let () = match operations_decl with
+      Some _ -> failwith "Operations declaration is not allowed anymore TODO"
+    | None -> ()
+  in {types; storage_decl; declarations}