From 418073665bb98a112905fbdef10215f26d99dfcf Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 23 Nov 2023 10:23:02 +0100
Subject: [PATCH] Enable code formatting for storm-pars (#435)

---
 .clang-format-ignore | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.clang-format-ignore b/.clang-format-ignore
index 587e821b6..0acca8f50 100644
--- a/.clang-format-ignore
+++ b/.clang-format-ignore
@@ -1,3 +1,2 @@
-./src/storm-pars/*
-./src/storm-pars-cli/*
-./src/test/storm-pars/*
+# Contains file path patterns that clang-format should ignore.
+# Currently intentionally left empty.