From 96677cd1788ab7eb8c493f4de7030200b0c39108 Mon Sep 17 00:00:00 2001
From: Alex Beregszaszi <alex@rtfs.hu>
Date: Thu, 2 Feb 2017 22:06:10 +0000
Subject: [PATCH] Update the AST output

---
 docs/using-the-compiler.rst | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/docs/using-the-compiler.rst b/docs/using-the-compiler.rst
index 6a50ca685..f2d6b858a 100644
--- a/docs/using-the-compiler.rst
+++ b/docs/using-the-compiler.rst
@@ -193,6 +193,15 @@ Output Description
           message: "Invalid keyword"
         }
       ],
+      // This contains the file-level outputs. In can be limited/filtered by the outputSelection settings.
+      sources: {
+        "sourceFile.sol": {
+          // Identifier (used in source maps)
+          id: 1,
+          // The AST object
+          ast: {}
+        }
+      },
       // This contains the contract-level outputs. It can be limited/filtered by the outputSelection settings.
       contracts: {
         "sourceFile.sol": {
@@ -264,13 +273,6 @@ Output Description
           }
         }
       },
-      formal: {
-        "why3": "..."
-      },
-      sourceList: ["source1.sol", "source2.sol"], // this is important for source references both in the ast as well as in the srcmap in the contract
-      sources: {
-        "source1.sol": {
-          "AST": { ... }
-        }
-      }
+      // Why3 output (string)
+      why3: ""
     }