[m-rev.] diff: fix broken rotds

[Julien Fischer]

Branches: 13.05, master

--------------

Fix a problem that broke the rotds on some platforms.

runtime/mercury_grade.h:
 	MR_GRADE_OPT_PART_11 wasn't being defined if we were using boxed
 	double-precision floats.

Julien.


diff --git a/runtime/mercury_grade.h b/runtime/mercury_grade.h
index 2e76320..f3758e9 100644
--- a/runtime/mercury_grade.h
+++ b/runtime/mercury_grade.h
@@ -378,6 +378,7 @@
    #define MR_GRADE_OPT_PART_11  MR_GRADE_OPT_PART_10 ".spf"
  #elif defined(MR_BOXED_FLOAT)
    #define MR_GRADE_PART_11      MR_GRADE_PART_10
+  #define MR_GRADE_OPT_PART_11  MR_GRADE_OPT_PART_10
  #else                           /* "ubf" stands for "unboxed float" */
    #define MR_GRADE_PART_11      MR_PASTE2(MR_GRADE_PART_10, _ubf)
    #define MR_GRADE_OPT_PART_11  MR_GRADE_OPT_PART_10