Fix compile by putting time_f in sys.mlp & put equals into Typestruct.DiscreteType
commitb2b1075bd052018b72b212d99e409bf17351238c
authorEric Norige <thelema314@gmail.com>
Wed, 13 Feb 2008 23:19:38 +0000 (13 17:19 -0600)
committerEric Norige <thelema314@gmail.com>
Wed, 13 Feb 2008 23:19:38 +0000 (13 17:19 -0600)
tree76c7089c345dc986f694c039232af6f3d788da06
parent2a7ed7f1e9fbe9adc3959953a1a1221aaf6da579
Fix compile by putting time_f in sys.mlp & put equals into Typestruct.DiscreteType
stdlib/sys.mlp
stdlib/typestruct.ml
stdlib/typestruct.mli