From d89662173886b0c9079919d718bde1b1f81e0313 Mon Sep 17 00:00:00 2001
From: cascade <cascade@opencascade.com>
Date: Tue, 9 Oct 2007 18:04:13 +0000
Subject: [PATCH] OCC16846 [OCCT Forum] Multithreading troubles

---
 src/WOKTools/WOKTools_Options.cxx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/WOKTools/WOKTools_Options.cxx b/src/WOKTools/WOKTools_Options.cxx
index 45e5416..4bb2150 100755
--- a/src/WOKTools/WOKTools_Options.cxx
+++ b/src/WOKTools/WOKTools_Options.cxx
@@ -13,6 +13,7 @@
 
 #include <string.h>
 #include <stdlib.h>
+#include <stdio.h> /* EOF */
 
 #include <WOKTools_Options.ixx>
 
-- 
2.39.5