diff --git a/src/common/util/cilfacade.ml b/src/common/util/cilfacade.ml
index 09aab6088b..b5b217889f 100644
--- a/src/common/util/cilfacade.ml
+++ b/src/common/util/cilfacade.ml
@@ -68,8 +68,7 @@ let parse fileName =
 
 (** Version of {!defaultCilPrinterClass} which excludes line directives and builtin signatures (in comments).
     Used for [dbg.justcil-printer]. *)
-class cleanCilPrinterClass =
-object
+class cleanCilPrinterClass = object
   inherit defaultCilPrinterClass as super
 
   method! pLineDirective ?(forcefile=false) l =