X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/fd53df8fe8e39d722b7562c4e9d68ab4d7937577..75d4c2d6fb7996625d062f5949ceb2e66c0a70ab:/src/ast.sml?ds=sidebyside

diff --git a/src/ast.sml b/src/ast.sml
index ead8531..6668b4b 100644
--- a/src/ast.sml
+++ b/src/ast.sml
@@ -91,6 +91,8 @@ datatype exp' =
        (* Apply a TNested to an action *)
        | EALam of string * pred * exp
        (* Abstraction for building TNested values *)
+       | EIf of exp * exp * exp
+       (* If..then..else *)
 withtype exp = exp' * position
 
 datatype decl' =