Fix a bug in DimGeneric.

RedPRL · Jun 11, 2018 · 63d9ac9 · 63d9ac9
1 parent 3d43966
commit 63d9ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/DimGeneric.ml b/src/lib/DimGeneric.ml
@@ -7,7 +7,7 @@ let make c =
   match D.compare c D.dim0 with
   | D.Same -> `Const `Dim0
   | _ ->
-    match D.compare c D.dim0 with
+    match D.compare c D.dim1 with
     | D.Same -> `Const `Dim1
     | _ -> `Ok c