+ add option to switch off precompiled header

2018-07-25 20:17:11 +02:00
parent 08fcd58e9d
commit d3ef6905ff
17 changed files with 49 additions and 28 deletions
@@ -26,6 +26,7 @@
 #ifndef _PreComp_
 # include <cassert>
 # include <algorithm>
+# include <functional>
 #endif

 /// Here the FreeCAD includes sorted by Base,App,Gui......