[Toss-devel-svn] SF.net SVN: toss:[1736] trunk/Toss/Formula/myTest.ml

[<ab...@us...>]

Revision: 1736
          http://toss.svn.sourceforge.net/toss/?rev=1736&view=rev
Author:   abuzaid
Date:     2012-06-27 18:18:35 +0000 (Wed, 27 Jun 2012)
Log Message:
-----------
deleted useless file

Removed Paths:
-------------
    trunk/Toss/Formula/myTest.ml

Deleted: trunk/Toss/Formula/myTest.ml
===================================================================
--- trunk/Toss/Formula/myTest.ml	2012-06-27 17:33:04 UTC (rev 1735)
+++ trunk/Toss/Formula/myTest.ml	2012-06-27 18:18:35 UTC (rev 1736)
@@ -1,6 +0,0 @@
-open Formula
-
-let formula_of_string s = 
-  FormulaParser.parse_formula Lexer.lex (Lexing.from_string s)
-
-Hashtbl.iter (fun v a -> Printf.printf "%s: %d" v a) so_arities (Hashtbl.create 10) (formula_of_string "Ex |R (All x |R(x))") 
\ No newline at end of file

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.