Changeset 778e230

Timestamp:

Jul 19, 2011, 2:16:17 AM (12 years ago)

Author:

GitHub Merge Button <merge-button@github.com>

Parents:

883502d (diff), 6f7d4f6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge 6f7d4f6001eb475eed5eb55eed0ab6e14ee65e00 into 883502d79716230ee4f4a70d9168bd87c780a7ef

File:

• variable.c (modified) (1 diff)

variable.c

@@ -707 +707 @@
 }
 
-void owl_variable_dict_newvar_bool(owl_vardict *vd, const char *name, const char *summ, const char *desc, bool initval)
+void owl_variable_dict_newvar_bool(owl_vardict *vd, const char *name, const char *summ, const char *desc, int initval)
 {
   owl_variable *old = owl_variable_get_var(vd, name);