1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast.ml b/src/ast.ml
index edbac7d8..6710c749 100644
--- a/src/ast.ml
+++ b/src/ast.ml
@@ -570,6 +570,7 @@ and 'a def =  (* Top-level definition *)
  | DEF_fundef of 'a fundef (* function definition *)
  | DEF_val of 'a letbind (* value definition *)
  | DEF_spec of 'a val_spec (* top-level type constraint *)
+ | DEF_overload of id * id list (* operator overload specification *)
  | DEF_default of 'a default_spec (* default kind and type assumptions *)
  | DEF_scattered of 'a scattered_def (* scattered function and type definition *)
  | DEF_reg_dec of 'a dec_spec (* register declaration *)