Mined: allow Ins to mark

diff --git a/commands/mined/mined1.c b/commands/mined/mined1.c
index 6ac7eaef9a1e233c8704c7eebca139b0c8d4f24e..09ba367b1d55ad1c43bccbe48b5156882ff31752 100644 (file)
--- a/commands/mined/mined1.c
+++ b/commands/mined/mined1.c
@@ -1549,6 +1549,7 @@ int c;
        case 'C': return(RT);
        case 'D': return(LF);
 #if defined(__i386__)
+       case '@': return(MA);
        case 'G': return(FS);
        case 'S': return(SR);
        case 'T': return(SF);