Fix warning

2013-03-03 11:27:22 +01:00
parent 610c2efdd6
commit 6c4c355db0
1 changed files with 1 additions and 1 deletions
--- a/src/Gui/SelectionFilter.h
+++ b/src/Gui/SelectionFilter.h
@@ -77,7 +77,7 @@ public:
    std::vector<std::vector<SelectionObject> > Result;

    /// true if a valid filter is set
-    bool isValid(void) const {return (bool) Ast;}
+    bool isValid(void) const {return Ast ? true : false;}

 protected:
    std::string Filter;