Browse Source

Avoid warnnig 45

 + Core is expected to overwrite some defaults.

 + It's the Result module which uses Error constructor. This gave warning:
File "src/command_def.ml", line 37, characters 0-13:
Warning 45: this open statement shadows the constructor Error (which is later used)
Leo 8 years ago
parent
commit
70513629f4
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/command_def.ml

+ 1 - 1
src/command_def.ml

@@ -34,7 +34,7 @@
 (*  termes.                                                                   *)
 (******************************************************************************)
 
-open Core.Std;;
+open! Core.Std;;
 
 open Command;;