Skip to content
Browse files

[cleanup] open: remove Base in teerex

  • Loading branch information...
1 parent 44019de commit 34fba6b9ef1f1bc3722d23940fea4a97a649bb12 Raja committed Jun 28, 2011
Showing with 0 additions and 2 deletions.
  1. +0 −1 teerex/certified/trx2cert.ml
  2. +0 −1 teerex/prx.ml
View
1 teerex/certified/trx2cert.ml
@@ -23,7 +23,6 @@
* A tool for converting TRX grammar to Coq format acceptable by certified TRX
**)
-open Base
module T = Tgrammar
module P = T.PreGrammar
View
1 teerex/prx.ml
@@ -16,7 +16,6 @@
along with OPA. If not, see <http://www.gnu.org/licenses/>.
*)
-open Base
let string_of_production = function
| `string s -> `prod (sprintf "(text %s)" s)

0 comments on commit 34fba6b

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