Commit 1b15d481 authored by Mário Pereira's avatar Mário Pereira

Typo in driver

parent 7166632d
......@@ -233,7 +233,7 @@ module mach.onetime.OneTime
syntax val le "%1 <= %2"
syntax val gt "%1 > %2"
syntax val ge "%1 >= %2"
syntax val eq "%1 =a %2"
syntax val eq "%1 = %2"
syntax val ne "%1 <> %2"
syntax converter to_peano "%1"
......
Markdown is supported
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