diff options
Diffstat (limited to 'lib/dyn.ml')
-rw-r--r-- | lib/dyn.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/dyn.ml b/lib/dyn.ml index 13d1ec060..de5158b14 100644 --- a/lib/dyn.ml +++ b/lib/dyn.ml @@ -7,7 +7,6 @@ (************************************************************************) open Errors -open Util (* Dynamics, programmed with DANGER !!! *) |