From 4e7f66be73533f9410ed583612127a6650280307 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 26 Feb 2024 18:29:56 +0200
Subject: [PATCH] Fix indentation (PR #1369)

---
 src/common/util/cilfacade.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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 =