1 files changed, 1 insertions, 1 deletions
diff --git a/src/Language.v b/src/Language.v
index 6eac36949..efcc16b63 100644
--- a/src/Language.v
+++ b/src/Language.v
@@ -1237,7 +1237,7 @@ Module Compilers.
         | @repeat ?A
           => let rA := base.reify A in
              then_tac (@ident.List_repeat rA)
-        | @combine ?A ?B
+        | @List.combine ?A ?B
           => let rA := base.reify A in
              let rB := base.reify B in
              then_tac (@ident.List_combine rA rB)