From 0ce6ab5444bfc8ea94e488b1d92eb6980b336b16 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 14 Apr 2025 18:03:13 +0100 Subject: [PATCH] Remove an unnecessary if. --- cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll b/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll index c8ddaf465e7..501da3f1d88 100644 --- a/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll +++ b/cpp/ql/src/utils/modelgenerator/internal/CaptureModels.qll @@ -135,9 +135,8 @@ module ModelGeneratorInput implements ModelGeneratorInputSig