Missing pragma once · 5b7bc4319a - tempest - Gitea: Git with a cup of tea

Missing pragma once

tempestpy_adaptions

Matthias Volk 4 years ago

parent

3282bf895c

commit

5b7bc4319a

No known key found for this signature in database GPG Key ID: 83A57678F739FCD3

1 changed files with 2 additions and 0 deletions

Unified View

								
									2

src/storm-gspn/parser/GspnParser.h

									View File
								
				@ -1,3 +1,5 @@
			
				#pragma once
			
				#include "storm-gspn/storage/gspn/GSPN.h"
				
				#include "storm-gspn/storage/gspn/GSPN.h"
			
				namespace storm {
				
				namespace storm {