[gen] Wider default mode for diy

See comment #531 (comment)
herd · Mar 1, 2023 · 8c2fc8a · 8c2fc8a
1 parent c71fffb
commit 8c2fc8a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gen/alt.ml b/gen/alt.ml
@@ -111,8 +111,8 @@ module Make(C:Builder.S)
 (*
   Now accept some internal with internal composition
  *)
-      | (Ws Int|Rf Int|Fr Int|Po (Diff,_,_)),Dp (_,Diff,_)
-      | (Dp (_,Diff,_)|Po (Diff,_,_)),(Ws Int|Rf Int|Fr Int)
+      | (Ws Int|Rf Int|Fr Int|Po (Diff,_,_)),Dp (_,_,_)
+      | (Dp (_,_,_)|Po (Diff,_,_)),(Ws Int|Rf Int|Fr Int)
       | Dp (_,Diff,_),Po (Diff,_,_)
       | Rf Int,Po (Same,_,_)
       | Po (Same,_,_),Rf Int