minor changes, prepare for 0.1

c-cube · c-cube · commit ab2cdfb8647f · 2019-11-06T17:36:47.000-06:00
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: *)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Copyright (c) 2016, Simon Cruanes`
	`1`	`+Copyright (c) 2016-2019, Simon Cruanes`
`2`	`2`	`All rights reserved.`
`3`	`3`
`4`	`4`	`Redistribution and use in source and binary forms, with or without`
Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,7 @@ build: [`
`10`	`10`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`11`	`11`	`]`
`12`	`12`	`depends: [`
`13`		`- "dune" {build}`
	`13`	`+ "dune" { >= "1.1" }`
`14`	`14`	`"base-bytes"`
`15`	`15`	`"result"`
`16`	`16`	`"menhir" {build}`