diff --git a/src/printers/pyrat.ml b/src/printers/pyrat.ml
index 894c21a4ed779b84620a039e9c1b734f7a45c0df..fd6cf22dfc35a8c8b8f3b1c3762ab362dfacc9f7 100644
--- a/src/printers/pyrat.ml
+++ b/src/printers/pyrat.ml
@@ -133,7 +133,7 @@ let rec print_goal_term info fmt t =
       in
       Fmt.pf fmt "%s%a %s %a%s" psx (print_goal_term info) t1 lop
         (print_goal_term info) t2 pdx
-  | _ -> if t_is_known info t then Fmt.pf fmt "%a" (print_base_term info) t
+  | _ -> if t_is_known info t then Fmt.pf fmt "%a@." (print_base_term info) t
 
 let print_decl info fmt d =
   match d.Decl.d_node with