Skip to content

Commit

Permalink
Removed unnecessary type annotations
Browse files Browse the repository at this point in the history
  • Loading branch information
AndrewScheidecker committed Sep 23, 2015
1 parent 056e48f commit 8f3c6f4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion ml-proto/src/spec/memory.ml
Original file line number Diff line number Diff line change
Expand Up @@ -118,7 +118,7 @@ let load mem a memty ext =
| _ -> raise Type
with Invalid_argument _ -> raise Bounds

let store (mem : t) (a : int) (memty : mem_type) v =
let store mem a memty v =
try
(match memty, v with
| Int8Mem, Int32 x -> store8 mem a x
Expand Down

0 comments on commit 8f3c6f4

Please sign in to comment.