add space

lucaperju · lucaperju · commit 020b6c3ae2da · 2024-07-12T09:51:35.000+02:00
diff --git a/examples/crhmc_sampling/simple_crhmc.cpp b/examples/crhmc_sampling/simple_crhmc.cpp
@@ -91,4 +91,4 @@ int main(int argc, char *argv[]) {
     run_main<16>(atoi(argv[2]), atoi(argv[3]), atoi(argv[4]));
   }
   return 0;
-}
+}
diff --git a/include/misc/poset.h b/include/misc/poset.h
@@ -5,7 +5,6 @@
 // Copyright (c) 2020-2021 Vaibhav Thakkar
 
 // Contributed and/or modified by Vaibhav Thakkar, as part of Google Summer of Code 2021 program.
-// Contributed and/or modified by Luca Perju, as part of Google Summer of Code 2024 program.
 
 // Licensed under GNU LGPL.3, see LICENCE file
 

Original file line number	Diff line number	Diff line change
`@@ -91,4 +91,4 @@ int main(int argc, char *argv[]) {`
`91`	`91`	`run_main<16>(atoi(argv[2]), atoi(argv[3]), atoi(argv[4]));`
`92`	`92`	`}`
`93`	`93`	`return 0;`
`94`		`-}`
	`94`	`+}`