change some forgotten double → Real
This is another "small cleaning" merge request preparing for optional high precision capabilities in yade.
Edited by Janek Kozicki
This is another "small cleaning" merge request preparing for optional high precision capabilities in yade.