From 8e6a650c7aae9e9604b2b51d158d7c8ccf35a57f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 16 May 2025 14:02:26 -0700
Subject: [PATCH] add prd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 genaisrc/prd.genai.mts | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 genaisrc/prd.genai.mts

diff --git a/genaisrc/prd.genai.mts b/genaisrc/prd.genai.mts
new file mode 100644
index 000000000..e69de29bb