diff options
Diffstat (limited to 'mps/code')
| -rw-r--r-- | mps/code/vmix.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/mps/code/vmix.c b/mps/code/vmix.c index f5b8aa681b3..30a2cc672fc 100644 --- a/mps/code/vmix.c +++ b/mps/code/vmix.c | |||
| @@ -98,9 +98,6 @@ Bool VMCheck(VM vm) | |||
| 98 | } | 98 | } |
| 99 | 99 | ||
| 100 | 100 | ||
| 101 | Res VM | ||
| 102 | |||
| 103 | |||
| 104 | /* VMCreate -- reserve some virtual address space, and create a VM structure */ | 101 | /* VMCreate -- reserve some virtual address space, and create a VM structure */ |
| 105 | 102 | ||
| 106 | Res VMCreate(VM *vmReturn, Size size, mps_arg_s args[]) | 103 | Res VMCreate(VM *vmReturn, Size size, mps_arg_s args[]) |