make device::setDimensionExraConfigSpace() virtual

6c3cfcf4 · Pierre Fernbach · 73a23831 · 6c3cfcf4
Commit 6c3cfcf4 authored Jan 27, 2016 by Pierre Fernbach
--- a/include/hpp/model/device.hh
+++ b/include/hpp/model/device.hh
@@ -153,7 +153,7 @@ namespace hpp {
      }

      /// Set dimension of extra configuration space
-      void setDimensionExtraConfigSpace (const size_type& dimension)
+      virtual void setDimensionExtraConfigSpace (const size_type& dimension)
      {
 	extraConfigSpace_.setDimension (dimension);
 	resizeState (0x0);