diff options
Diffstat (limited to 'lib/real.sail')
| -rw-r--r-- | lib/real.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/real.sail b/lib/real.sail index 47d3f9bd..cd63a622 100644 --- a/lib/real.sail +++ b/lib/real.sail @@ -1,5 +1,5 @@ -$ifndef __REAL -$define __REAL +$ifndef _REAL +$define _REAL val "neg_real" : real -> real |