diff options
Diffstat (limited to 'otherlibs')
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 6637ab16bc..5e55240948 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -87,7 +87,7 @@ external succ : int -> int = "%succint" external pred : int -> int = "%predint" external ( + ) : int -> int -> int = "%addint" external ( - ) : int -> int -> int = "%subint" -external ( * ) : int -> int -> int = "%mulint" +external ( * ) : int -> int -> int = "%mulint" external ( / ) : int -> int -> int = "%divint" external ( mod ) : int -> int -> int = "%modint" |