non terminating comment

let's just check that CI catches this...

theories/simulation/slsls.v

@@ -1189,3 +1189,5 @@ Arguments lift_post : simpl never.
 them as hint extern instead. See <https://github.com/coq/coq/pull/13952>. *)
 Global Hint Extern 0 (Sim _ _) => apply sim_stutter : typeclass_instances.
 Global Hint Extern 0 (SimE _ _) => apply sim_expr_stutter : typeclass_instances.
+
+(* Test comment that does not terminate.