diff --git a/platform/xilinx/setenv.bat b/platform/xilinx/setenv.bat
index cef6d3c..d6437c4 100644
--- a/platform/xilinx/setenv.bat
+++ b/platform/xilinx/setenv.bat
@@ -24,6 +24,8 @@ set /p "xilinx_path=Enter Xilinx installation path (press Enter for default: %de
 if "%xilinx_path%"=="" (
     set "xilinx_path=%default_path%"
 )
+REM Reset ERRORLEVEL to avoid false error codes
+verify > nul
 
 REM Convert version to integer
 for /f "tokens=1,2 delims=." %%a in ("%xilinx_version%") do (