From 05b7d79819dd5f006527bef7679b06868b3e0da7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 29 Apr 2012 13:17:31 -0400 Subject: Initial support for reusing elaboration results --- src/source.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/source.sml') diff --git a/src/source.sml b/src/source.sml index b85384ab..ce29904d 100644 --- a/src/source.sml +++ b/src/source.sml @@ -154,8 +154,8 @@ datatype decl' = | DVal of string * con option * exp | DValRec of (string * con option * exp) list | DSgn of string * sgn - | DStr of string * sgn option * str - | DFfiStr of string * sgn + | DStr of string * sgn option * Time.time option * str + | DFfiStr of string * sgn * Time.time | DOpen of string * string list | DConstraint of con * con | DOpenConstraints of string * string list -- cgit v1.2.3