diff --git a/basis/types.txt b/basis/types.txt
index fd652e6657..784ac593ac 100644
--- a/basis/types.txt
+++ b/basis/types.txt
@@ -378,3 +378,4 @@ print: string -> unit
 print_app_list: string app_list -> unit
 print_int: int -> unit
 print_pp: PrettyPrinter.pp_data -> unit
+