Fix lint issues

This commit is contained in:
9seconds
2018-05-31 09:54:20 +03:00
parent dd56f808ab
commit a160ac4ac4
3 changed files with 6 additions and 2 deletions
Generated
+1 -1
View File
@@ -80,6 +80,6 @@
[solve-meta]
analyzer-name = "dep"
analyzer-version = 1
inputs-digest = "36bcaf7701d70b8c4648e01a7fc94e0cda9c2f9b48c42d453c87567f6f058036"
inputs-digest = "24afdd6b64331aeba47fed75918d04032e13e404612cac107bad1d68a5038b72"
solver-name = "gps-cdcl"
solver-version = 1