diff --git a/.gitignore b/.gitignore index 0aa0298..f7ebb14 100644 --- a/.gitignore +++ b/.gitignore @@ -21,4 +21,4 @@ rebar3.crashdump aesophia .qcci current_counterexample.eqc -test/contracts/test.aes \ No newline at end of file +test/contracts/test.aes