diff options
| author | Christopher | 2015-12-21 00:25:51 +0100 |
|---|---|---|
| committer | Christopher | 2015-12-21 00:25:51 +0100 |
| commit | ce7431d8e452952329439564969f8b592a01563b (patch) | |
| tree | beb3f8cbd234080bb619b832d5cc89d636d47e24 /src/gen_lib/sail_values.lem | |
| parent | 03ce76667d484574b996722f07d0f7570208756e (diff) | |
fixes, pp progress
Diffstat (limited to 'src/gen_lib/sail_values.lem')
| -rw-r--r-- | src/gen_lib/sail_values.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem index d2364397..ace65b3b 100644 --- a/src/gen_lib/sail_values.lem +++ b/src/gen_lib/sail_values.lem @@ -4,6 +4,7 @@ open import Vector open import Arch type i = integer +type number = integer let length l = integerFromNat (length l) |