more reformatting/indentation

[cdsspec-compiler.git] / model.cc

diff --git a/model.cc b/model.cc
index 2b2a5f0ecef177282c4a065d8ac4a91d01eb20dc..b456c246468cd7d5674e65bfe42ff2cd4a348462 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -15,8 +15,7 @@
 ModelChecker *model;
 
 /** @brief Constructor */
-ModelChecker::ModelChecker()
-       :
+ModelChecker::ModelChecker() :
        /* Initialize default scheduler */
        scheduler(new Scheduler()),
        /* First thread created will have id INITIAL_THREAD_ID */