Skip to content
Browse files

Removing useless .mli's

  • Loading branch information...
1 parent 4b97d61 commit 4357a5a6d6e231b4edbbecce1259dc3a2d093e31 @thomasblanc committed Feb 27, 2014
Showing with 3 additions and 3 deletions.
  1. +3 −3 analysis.ocp
View
6 analysis.ocp
@@ -33,9 +33,9 @@ begin library "hgraph"
comp += [ "-w" "+A-4-9-42" "-warn-error" "+1..45-42" "-w"
"-32" "-warn-error" "-32" ]
dirname = "src/hgraph"
- files = [ "hgraph_types.mli" "hgraph.mli" "hgraph.ml"
- "stack_types.mli" "abstract_stack.mli" "abstract_stack.ml"
- "fixpoint_types.mli" "fixpoint.mli" "fixpoint.ml"
+ files = [ "hgraph_types.mli" "hgraph.ml"
+ "stack_types.mli" "abstract_stack.ml"
+ "fixpoint_types.mli" "fixpoint.ml"
"export.ml" ]
end

0 comments on commit 4357a5a

Please sign in to comment.
Something went wrong with that request. Please try again.