Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[cleanup] open: remove Base in libbase & libtool

  • Loading branch information...
commit 340a986b700bddc0c6f948a11cb2471a7a36c018 1 parent a1cd47f
Raja authored
Showing with 2 additions and 2 deletions.
  1. +2 −1  libbase/terminal.ml
  2. +0 −1  libtools/process.ml
View
3  libbase/terminal.ml
@@ -19,7 +19,8 @@
@author Adam Koprowski
**)
-open Base
+(* depends *)
+module List = BaseList
let emph s = "" ^ s ^ ""
let strong s = "" ^ emph s ^ ""
View
1  libtools/process.ml
@@ -15,7 +15,6 @@
You should have received a copy of the GNU Affero General Public License
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
-open Base
module U = Unix
module S = Sys
Please sign in to comment.
Something went wrong with that request. Please try again.