diff options
Diffstat (limited to 'sca-cpp/trunk/kernel')
| -rw-r--r-- | sca-cpp/trunk/kernel/element.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sca-cpp/trunk/kernel/element.hpp b/sca-cpp/trunk/kernel/element.hpp index 1c443886d1..fb21aa60ad 100644 --- a/sca-cpp/trunk/kernel/element.hpp +++ b/sca-cpp/trunk/kernel/element.hpp @@ -95,7 +95,7 @@ const list<value> elementChildren(const list<value>& l) { /** * Returns true if an element has a value. */ -const value elementHasValue(const list<value>& l) { +const bool elementHasValue(const list<value>& l) { const list<value> r = reverse(l); if (isSymbol(car(r))) return false; |