diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2001-12-13 13:12:25 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2001-12-13 13:12:25 +0000 |
| commit | 0260b5681377b413eb3efed0e5e12d659b31d5fc (patch) | |
| tree | c73cd7fcb39318360394f4496e512fe25af903a6 /tools/dumpobj.ml | |
| parent | b511be714ee7cb0898a011140de7b0e22852374f (diff) | |
bug: opRERAISE n'existe plus
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/dumpobj.ml')
| -rw-r--r-- | tools/dumpobj.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/dumpobj.ml b/tools/dumpobj.ml index dacc4c1a9..77ccacfeb 100644 --- a/tools/dumpobj.ml +++ b/tools/dumpobj.ml @@ -379,7 +379,6 @@ let op_shapes = [ opUGEINT, Nothing; opBULTINT, Uint_Disp; opBUGEINT, Uint_Disp; - opRERAISE, Nothing; opSTOP, Nothing; opEVENT, Nothing; opBREAK, Nothing; |