Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

fixed roundtrip

  • Loading branch information...
commit 278d3c5f9e0881493d944e2f3dffab707e5631ee 1 parent 0a95cc7
@cmungall cmungall authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  owl2_export_rdf.plt
View
2  owl2_export_rdf.plt
@@ -11,7 +11,7 @@ roundtrip(F):-
load_axioms(F),
atom_concat(F,'.tmp',TempF),
save_axioms(TempF,owl),
- retract_all_axioms/0,
+ retract_all_axioms,
load_axioms(TempF,owl).
test(loaded) :-
Please sign in to comment.
Something went wrong with that request. Please try again.