# HG changeset patch
# User Chris Cannam
# Date 1383585038 0
# Node ID d3cbfb11b70acd1131cd6a5f9c0e379cc8b88328
# Parent  3437e0fad7aea8021030a547770bd5fc492e6984
Compile fix

diff -r 3437e0fad7ae -r d3cbfb11b70a widgets/PropertyBox.cpp
--- a/widgets/PropertyBox.cpp	Mon Nov 04 17:09:36 2013 +0000
+++ b/widgets/PropertyBox.cpp	Mon Nov 04 17:10:38 2013 +0000
@@ -233,7 +233,7 @@
 
 QString property_container_name; // the name could be : Waveform, Time Instants, etc
 property_container_name = layer->getPropertyContainerName();// obtain the name
-boolean isWaveform;
+bool isWaveform;
 
 isWaveform = property_container_name.contains("Waveform", Qt::CaseInsensitive);//if QString contains "Waveform"