diff --git a/gas/ChangeLog b/gas/ChangeLog
index 25e0b6254d..86886436b7 100644
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,7 @@
+2011-07-30  Richard Sandiford  <rdsandiford@googlemail.com>
+
+	* config/tc-mips.c (nops_for_vr4130): Revert previous commit.
+
 2011-07-29  Maciej W. Rozycki  <macro@codesourcery.com>
 
 	* config/tc-mips.c: Adjust comments throughout.
diff --git a/gas/config/tc-mips.c b/gas/config/tc-mips.c
index 8f57985b46..66f0f467c9 100644
--- a/gas/config/tc-mips.c
+++ b/gas/config/tc-mips.c
@@ -3275,7 +3275,6 @@ nops_for_vr4130 (int ignore, const struct mips_cl_insn *hist,
     if (MF_HILO_INSN (hist[i].insn_mo->pinfo))
       {
 	/* Extract the destination register.  */
-	gas_assert (!mips_opts.micromips);
 	mask = gpr_write_mask (&hist[i]);
 
 	/* No nops are needed if INSN reads that register.  */