[hcoop-cvs] domtool2/src/plugins easy_domain.sml,1.5,1.6

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Update of /cvsroot/hcoop/domtool2/src/plugins
In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv15595/src/plugins

Modified Files:
	easy_domain.sml 
Log Message:
DefaultA parameter to dom

Index: easy_domain.sml
===================================================================
RCS file: /cvsroot/hcoop/domtool2/src/plugins/easy_domain.sml,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** easy_domain.sml	24 Feb 2008 21:47:04 -0000	1.5
--- easy_domain.sml	17 May 2009 13:01:15 -0000	1.6
***************
*** 35,38 ****
--- 35,42 ----
  				  (fn () => (EVar "true", dl)))
  
+ val _ = Defaults.registerDefault ("DefaultA",
+ 				  (TBase "bool", dl),
+ 				  (fn () => (EVar "true", dl)))
+ 
  val _ = Defaults.registerDefault ("DefaultAlias",
  				  (TBase "bool", dl),