Skip to content

Commit

Permalink
Fix indentation (PR #1369)
Browse files Browse the repository at this point in the history
  • Loading branch information
sim642 committed Feb 26, 2024
1 parent 0af40a3 commit 4e7f66b
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/common/util/cilfacade.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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 =
Expand Down

0 comments on commit 4e7f66b

Please sign in to comment.