From 21e72d4881d45853601253160194ace1da807ec5 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Tue, 9 Jul 2024 18:55:28 +0200
Subject: [PATCH] builtin pair

---
 Stdlib/Data/Pair/Base.juvix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Stdlib/Data/Pair/Base.juvix b/Stdlib/Data/Pair/Base.juvix
index 7d29d9b6..5dbb6ad0 100644
--- a/Stdlib/Data/Pair/Base.juvix
+++ b/Stdlib/Data/Pair/Base.juvix
@@ -5,6 +5,7 @@ import Stdlib.Data.Fixity open;
 syntax operator , pair;
 
 --- Inductive pair. I.e. a tuple with two components.
+builtin pair
 type Pair (A B : Type) := , : A → B → Pair A B;
 
 --- Converts a function of two arguments to a function with a product argument.