diff options
| author | Alasdair Armstrong | 2019-10-17 14:49:39 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-17 14:49:39 +0100 |
| commit | f9be5b3bba7113f62cb0d911eb634cc126782785 (patch) | |
| tree | 6e923eab894981279706d97ee286c130c4a79a24 /lib | |
| parent | 73edc3bd10ae10459260069407e1d1e464d334e2 (diff) | |
Allow generating C that doesn't hard code any libraries
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/nostd/sail.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/nostd/sail.h b/lib/nostd/sail.h index d553e6b3..be725fbc 100644 --- a/lib/nostd/sail.h +++ b/lib/nostd/sail.h @@ -357,7 +357,7 @@ typedef double real; typedef mpq_t real; #endif -SAIL_BUILTIN_TYPE(real); +SAIL_BUILTIN_TYPE(real) void CREATE_OF(real, sail_string)(real *rop, const sail_string op); void CONVERT_OF(real, sail_string)(real *rop, const sail_string op); |