Fix logging of queries after model generation#505

hra687261 merged 1 commit intoformalsec:mainformalsec/smtml:mainfrom

hra687261:fix_query_logginghra687261/smtml:fix_query_loggingCopy head branch name to clipboard