[fix] protocols: Removed genproto from library (problems with argumen…

…ts, it's main prog.)
MLstate · Aug 10, 2011 · a9a6c3f · a9a6c3f
1 parent f77847f
commit a9a6c3f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/protocols.mllib b/protocols.mllib
@@ -1,4 +1,3 @@
-protocols/Genproto
 protocols/Tools
 protocols/Reorder_functions
 protocols/Rewrite_funs