From 0fa42d315e20f819af93c2a822ab1bc032dc4535 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 18 Jan 2018 18:16:45 +0000
Subject: Modified ocaml backend to use ocamlfind for linksem and lem

Fixed test cases for ocaml backend and interpreter
---
 test/ocaml/loop/loop.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/ocaml/loop')

diff --git a/test/ocaml/loop/loop.sail b/test/ocaml/loop/loop.sail
index 3808c19a..ee77f79a 100644
--- a/test/ocaml/loop/loop.sail
+++ b/test/ocaml/loop/loop.sail
@@ -1,4 +1,4 @@
-val string_of_int = "string_of_big_int" : int -> string
+val string_of_int = "string_of_int" : int -> string
 
 val add = "add" : (int, int) -> int
 
-- 
cgit v1.2.3