[m-rev.] diff: delete documentation for --prev-code

[Julien Fischer]

Delete documentation for --prev-code.

--prev-code was deleted in commit b56885b but the documentation for it wasn't.

compiler/options.m:
doc/user_guide.texi:
 	Delete the documentation for --prev-code.

Julien.

diff --git a/compiler/options.m b/compiler/options.m
index 31a706e..bc1f0a1 100644
--- a/compiler/options.m
+++ b/compiler/options.m
@@ -5093,8 +5093,6 @@ options_help_hlds_hlds_optimization -->
          "\tEnable the constraint propagation transformation,",
          "\tbut only rearrange goals within each procedure.",
          "\tSpecialized versions of procedures will not be created.",
-        "--prev-code",
-        "\tMigrate into the start of branched goals.",
          "--no-follow-code",
          "\tDon't migrate into the end of branched goals.",
          "--excess-assign",
diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index 17e057e..8c59f1d 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -8729,11 +8729,6 @@ Enable the constraint propagation transformation,
  but only rearrange goals within each procedure.
  Specialized versions of procedures will not be created.

- at c @sp 1
- at c @item --prev-code
- at c @findex --prev-code
- at c Migrate into the start of branched goals.
-
  @sp 1
  @item --no-follow-code
  @findex --no-follow-code