From d251a52fb65b46d229275425d4cdba58c2ebbe52 Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@meta.com>
Date: Tue, 25 Feb 2025 09:22:09 -0800
Subject: [PATCH] [swift] Llair to Textual: translate nondet

Summary: We already have a `nondet` model.

Reviewed By: ngorogiannis

Differential Revision: D70105900

fbshipit-source-id: bbb765e61a71eca39fcf09b2c136731327bb0160
---
 infer/src/swift/Llair2Textual.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/swift/Llair2Textual.ml b/infer/src/swift/Llair2Textual.ml
index 80463af890..ce7cd594de 100644
--- a/infer/src/swift/Llair2Textual.ml
+++ b/infer/src/swift/Llair2Textual.ml
@@ -128,8 +128,8 @@ let cmnd_to_instrs block =
         let arg = to_textual_exp ptr in
         let proc = Textual.ProcDecl.free_name in
         to_textual_call_aux ~kind:Textual.Exp.NonVirtual proc None [arg] loc
-    | Nondet _ ->
-        assert false
+    | Nondet {reg; loc} ->
+        to_textual_builtin reg "llvm_nondet" [] loc
     | Builtin {reg; name; args; loc} ->
         let name = Llair.Builtin.to_name name in
         let args = StdUtils.iarray_to_list args in