From cf42208a74138a32393073fef574c24bd73a27fc Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Mon, 28 Sep 2020 15:01:04 +0100
Subject: Move the ast defs wrapper into it's own file

This refactoring is intended to allow this type to have more than just a
list of definitions in future.
---
 src/spec_analysis.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/spec_analysis.ml')

diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml
index 542ecaae..bb30e971 100644
--- a/src/spec_analysis.ml
+++ b/src/spec_analysis.ml
@@ -49,8 +49,9 @@
 (**************************************************************************)
 
 open Ast
-open Util
+open Ast_defs
 open Ast_util
+open Util
 
 module Nameset = Set.Make(String)
 
@@ -511,7 +512,7 @@ let fv_of_def consider_var consider_scatter_as_one all_defs = function
      Reporting.unreachable (id_loc id) __POS__ "Loop termination measures should be rewritten before now"
 
 
-let group_defs consider_scatter_as_one (Ast.Defs defs) =
+let group_defs consider_scatter_as_one (Defs defs) =
   List.map (fun d -> (fv_of_def false consider_scatter_as_one defs d,d)) defs
 
 
-- 
cgit v1.2.3