1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index 098f9c3a..edbac7d8 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -489,6 +489,7 @@ val_spec_aux =  (* Value type specification *)
    VS_val_spec of typschm * id
  | VS_extern_no_rename of typschm * id
  | VS_extern_spec of typschm * id * string (* Specify the type and id of a function from Lem, where the string must provide an explicit path to the required function but will not be checked *)
+ | VS_cast_spec of typschm * id
 
 
 type