Commit 9e91b944 authored by Mário Pereira's avatar Mário Pereira
Browse files

Cosmetic changes in the ocam-gen driver

parent 93fd5d65
......@@ -112,9 +112,9 @@ module array.Array
syntax exception OutOfBounds "Why3__Array.OutOfBounds"
syntax val ([]) "Why3__Array.get"
syntax val ([]<-) "Why3__Array.set"
syntax val length "Why3__Array.length"
syntax val ([]) "Array.get"
syntax val ([]<-) "Array.set"
syntax val length "Array.length"
syntax val defensive_get "Why3__Array.defensive_get"
syntax val defensive_set "Why3__Array.defensive_set"
syntax val make "Why3__Array.make"
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment