fix _read counter example

norton-archive · Dec 28, 2011 · 07032c5 · 07032c5
1 parent 4ad1254
commit 07032c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/qc_statem.hrl b/include/qc_statem.hrl
@@ -75,7 +75,7 @@ qc_counterexample(Options, CounterExample) ->
 
 %% counterexample read
 qc_counterexample_read(FileName) ->
-    {ok, CounterExample} = file:consult(FileName),
+    {ok, [CounterExample]} = file:consult(FileName),
     qc_counterexample([], CounterExample).
 
 %% counterexample write