minor changes, prepare for 0.1

c-cube · Nov 6, 2019 · ab2cdfb · ab2cdfb
1 parent 59e92aa
commit ab2cdfb
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/LICENSE b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2016, Simon Cruanes
+Copyright (c) 2016-2019, Simon Cruanes
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without

diff --git a/smtlib-utils.opam b/smtlib-utils.opam
@@ -10,7 +10,7 @@ build: [
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
 ]
 depends: [
-  "dune" {build}
+  "dune" { >= "1.1" }
   "base-bytes"
   "result"
   "menhir" {build}

diff --git a/src/Parser.mly b/src/Parser.mly
@@ -1,8 +1,8 @@
 
 
-(* This file is free software, part of tip-parser. See file "license" for more details. *)
+(* This file is free software, part of smtlib-utils. See file "license" for more details. *)
 
-(** {1 Parser for TIP} *)
+(** {1 Parser for SMTLIB2.6} *)
 
 (* vim:SyntasticToggleMode:
    vim:set ft=yacc: *)