made Common Logic Node more colorful

git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17901 cec4b9c1-7d33-0410-9eda-942365e851bb
spechub · Apr 23, 2013 · 8d70fa3 · 8d70fa3
1 parent e25f8c6
commit 8d70fa3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CommonLogic/Logic_CommonLogic.hs b/CommonLogic/Logic_CommonLogic.hs
@@ -93,6 +93,7 @@ instance Logic CommonLogic
     Symbol            -- raw_symbol
     ProofTree         -- proof_tree
     where
+       stability CommonLogic = Testing
        all_sublogics CommonLogic = sublogics_all
        empty_proof_tree CommonLogic = emptyProofTree
        provers CommonLogic = []