Warnings

src/context/display/statistics.ml

@@ -1,7 +1,6 @@
 open Globals
 open Type
 open Common
-open Typecore
 open DisplayTypes
 
 type relation =

src/filters/filtersCommon.ml

@@ -16,7 +16,6 @@
 	along with this program; if not, write to the Free Software
 	Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
 *)
-open Globals
 open Type
 open Common
 open Typecore

src/syntax/parserConfig.ml

@@ -1,6 +1,5 @@
 open Globals
 open Common
-open DisplayPosition
 
 let default_config defines =
 	Parser.create_config defines false false DMNone false None

src/typing/typeloadModule.ml

@@ -27,7 +27,6 @@ open DisplayTypes.DisplayMode
 open Common
 open Typeload
 open Error
-open Resolution
 
 let get_policy g mpath =
 	let sl1 = full_dot_path2 mpath mpath in