diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:02:54 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-10 14:02:54 -0400 |
| commit | 425bb7f90ffc8a6f8a1590ed76f305f3029a0beb (patch) | |
| tree | 5b6d5cf41f31998021e1b29ce4407de55dba12bc /include/lacweb.h | |
| parent | 5f2f492e122a26017496ed57d76ae39c6b1b254a (diff) | |
Writing HTML
Diffstat (limited to 'include/lacweb.h')
| -rw-r--r-- | include/lacweb.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/include/lacweb.h b/include/lacweb.h index 26f85402..14431df1 100644 --- a/include/lacweb.h +++ b/include/lacweb.h @@ -1,3 +1,5 @@ -typedef int lw_Basis_int; -typedef float lw_Basis_float; -typedef char* lw_Basis_string; +#include "types.h" + +extern lw_unit lw_unit_v; + +void lw_write(const char*); |