Commit 4f54e22b authored by Pietro Abate's avatar Pietro Abate

[r2005-05-11 20:54:50 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-11 20:54:50+00:00
parent fc732357
This diff is collapsed.
......@@ -38,6 +38,5 @@ end
module MakeBdd(X : Custom.T) : S' with type elem = X.t
(*
module Simplify(B : MAKE) : MAKE
*)
module Simplify : MAKE
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment